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