Lexikon der Mathematik: Gödelscher Vollständigkeitssatz
grundlegendes Theorem der mathematischen Logik, welches das inhaltliche mathematische Folgern mit Hilfe syntaktischer ( formaler) Beweisregeln vollständig charakterisiert.
Formale Beweisregeln benutzen nur die syntaktische Gestalt der Voraussetzungen und der zu beweisenden Behauptung, jedoch nicht deren inhaltliche Bedeutung (Beweismethoden).
Copyright Springer Verlag GmbH Deutschland 2017
Schreiben Sie uns!