Completeness v.s. Compactness
•We can prove the compactness theorem directly, but it
will be hard.
•
•The completeness theorem follows from
the compactness
theorem [in class]
•
•Both are about constructing a certain
model,
which almost always is infinite