WikiDer > Konsistenz (Logik)

Consistentie (logica)

Konsistent bedeutet im Logik: intern stimmig und nicht widersprüchlich, inkonsistent ist es das Antonym und bedeutet: widersprüchlich und nicht in sich stimmig.

Kurt Gödel hat bewiesen, dass kein System, das versucht, die Mathematik zu lösen formalisieren sowohl konsequent als auch Komplett könnte sein. Das nennt man Unvollständigkeitssatz.

Siehe auch

Das englischsprachige Wikiquote hat ein oder mehrere Zitate von oder über Konsistenz.
Suche Konsistenz auf im Wiktionary.