Die Teilmenge Γ ⊆ L V {\displaystyle {}\Gamma \subseteq L^{V}} heißt maximal widerspruchsfrei, wenn Γ {\displaystyle {}\Gamma } widerspruchsfrei ist und jede echt größere Menge Γ ⊂ Γ ′ {\displaystyle {}\Gamma \subset \Gamma '} widersprüchlich ist.
