Syntactic proof of first-order compactness
= Syntactic proof of first-order compactness
If a theory were inconsistent, a proof of contradiction would use a finite inconsistent subset. Therefore consistency of every finite subset implies consistency of the whole theory, and completeness supplies a model.