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 '\subseteq L^{V}$ , die ${}\Gamma$ enthält.