拡大定理(古典的命題論理)
#古典的命題論理
主張
任意の論理式集合$ \Gammaについて，
$ \GammaがLP無矛盾(古典的命題論理)ならば$ \Gamma \subseteq \Lambdaとなる極大無矛盾集合(古典的命題論理)$ \Lambdaが存在する
証明
むちゃくちゃ長いのでTODO