20
The Theory T
•
Let
q
k
be the conjunction of all extension axioms
for types with up to k variables
•
•
There exists a finite model for
q
k
[why ?]
•
•
Hence any finite subset of T has a model
•
•
Hence T has a model.
[can it be finite ?]