It is!? Does anyone know a proof of Compactness that doesn’t use completeness as a lemma?
Yes. Or, at least, I did once! That’s the way we proved it the logic course I did. The proof is a lot harder. But considering that the implication from Completeness is pretty trivial, that’s not saying much.
Yes. Or, at least, I did once! That’s the way we proved it the logic course I did. The proof is a lot harder. But considering that the implication from Completeness is pretty trivial, that’s not saying much.