21
The Model(s) of T
•
T has no finite models, hence it must have
some infinite model
•
•
By Lowenheim-Skolem, it has a countable
model
•