Ergebnis einer Schlußfolgerung, die aus einer fixierten Menge von Voraussetzungen oder Annahmen eine Aussage zusammen mit ihrer Negation zur Folge hat.

Läßt sich aus einer Menge Σ von Voraussetzungen eine Aussage ϕ und ihre Negation ¬ϕ oder die Konjunktion ϕ ∧ ¬ϕ beider herleiten, dann sind die Voraussetzungen widersprüchlich, d. h., sie besitzen kein Modell (Modelltheorie).

Die wichtigste Eigenschaft eines Axiomensystems oder einer Theorie (Modelltheorie) ist die Widerspruchsfreiheit, da aus widersprüchlichen Voraussetzungen jede Aussage bewiesen werden kann, insbesondere auch jede falsche (siehe auch widerspruchsfreies logisches System). Somit sind widersprüchliche Voraussetzungen (Axiome, Theorien,…) wertlos.