Die Widerspruchsfreiheit ist von Bedeutung für die Brauchbarkeit wissenschaftlicher Theorien, logischer Kalküle oder mathematischer Axiomensysteme. Die Konsistenz eines Kalküls kann auch durch ein Modell gezeigt werden, indem die semantische Korrektheit nachgewiesen wird. == Inkonsistenzbeweise == Zur Widerspruchsfreiheit und Konsistenz gehört...