Maximal consistent set truth lemma
= Maximal consistent set truth lemma
Assign a primitive proposition true exactly when it belongs to a maximal consistent set. An induction on formulas proves that truth agrees with membership: maximal consistency gives the negation dichotomy, and deductive closure gives the implication truth table. This builds a model of every consistent propositional theory.