Aussagenlogik/Vollständigkeitssatz/Auffüllungsstrategie/Zorn/Fakt

Es sei $V$ eine Menge an Aussagenvariablen und  $\Gamma \subseteq L^V$  eine widerspruchsfreie Teilmenge der zugehörigen Sprache der Aussagenlogik.

Dann gibt es eine maximal widerspruchsfreie Teilmenge  ${\Gamma }^{\prime }\subseteq L^V$,  die $\Gamma$ enthält.

Zum Beweis, Alternativen Beweis erstellen