Theorem 7.3
(Compactness – ultraproduct proof)
.
Assuming that:
L
a language
Σ
a set of
L
-sentences
Then
Σ
is consistent
if and only if
every finite subset of
Σ
is consistent.