Es sei V {\displaystyle {}V} eine Menge an Aussagenvariablen und Γ ⊆ L V {\displaystyle {}\Gamma \subseteq L^{V}} eine maximal widerspruchsfreie Teilmenge der zugehörigen Sprache der Aussagenlogik.
Dann ist Γ {\displaystyle {}\Gamma } erfüllbar.
