Widerspruchsfreiheit (mathematische Logik)
Widerspruchsfreiheit, Konsistenz, mathematische Logik: eine Eigenschaft einer Menge X von Ausdrücken einer mathematischen Theorie; X heißt semantisch oder inhaltlich widerspruchsfrei, falls jeder aus X beweisbare Ausdruck
(26 von 181 Wörtern)
Möchten Sie Zugriff auf den vollständigen Artikelinhalt?
Quellenangabe
Brockhaus,
Widerspruchsfreiheit (mathematische Logik).
http://brockhaus.at/ecs/enzy/article/widerspruchsfreiheit-mathematische-logik