پیشنیازها Set theory Lindenbaum's lemma idea Every consistent set of formulae has a maximal consistent superset.Each consistent theory is contained in a maximally consistent theory.