Consistent and Maximal Consistent Sets (Lindenbaum's Lemma)

A consistent set is satisfiable by some valuation; a maximal consistent one decides every proposition, and Lindenbaum's lemma says every consistent set extends to one.