Compactness

Compactness Theorem

First-Order Logic

Order Logic

Class

Consequence

Elementary

Finite

Logic

Model

Order

Theorem