Talk:Compactness of First-Order Logic

I think this says the same as Compactness Theorem of Propositional Calculus, but it comes at it from a different direction.

Presumably the results "consistency implies satisfiability" and "satisfiability implies consistency" are equivalent to Extended Soundness Theorem of Propositional Calculus and Extended Completeness Theorem of Propositional Calculus but I'm on dodgy ground with this (i.e. I don't really know what I'm doing).

Who knows how to tie all this together - like, can this page be deleted or merged with the Compactness Theorem of Propositional Calculus?