Die Menge Γ {\displaystyle {}\Gamma } heißt widersprüchsfrei, wenn es keinen Ausdruck α ∈ L V {\displaystyle {}\alpha \in L^{V}} mit Γ ⊢ α {\displaystyle {}\Gamma \vdash \alpha } und Γ ⊢ ¬ α {\displaystyle {}\Gamma \vdash \neg \alpha } gibt.
