Maximum consistent propositional theory gives a model
= Maximum consistent propositional theory gives a model
Consistency is preserved under unions of chains because proofs use finitely many assumptions. A maximal consistent extension then gives a valuation through its truth lemma, proving propositional completeness.