Die Menge Γ {\displaystyle {}\Gamma } heißt maximal widerspruchsfrei, wenn sie widerspruchsfrei ist und wenn jede Hinzunahme eines jeden Ausdrucks α ∉ Γ {\displaystyle {}\alpha \not \in \Gamma } die Menge widersprüchlich macht.
