リンデンバウムの補助定理
Lindenbaum's lemma
定理
$ \Gammaが構文論的に無矛盾な式の集合であるとき、$ \Gammaを部分集合とするような極大無矛盾集合$ \Gamma^\astが少なくとも1つ存在する