Artikel
Zusammenfassung
VII Die Widerlegung der Unentscheidbarkeit von Gödel's Satz
Dez. 2022. Kurt Gödel konstruierte 1931 einen Satz der Theorie der natürlichen Zahlen für den weder ein Beweis noch eine Widerlegung existieren soll, obwohl er wahr ist. Die wahre Bedeutung der 0, „nichts“, eröffnet neue Möglichkeiten der Beweisführung. Sätze über „nicht-Existenz“ lassen sich durch äquivalente Sätze über „nichts“ beweisen. Durch „nichts“ der Beweisführung wird Gödels Satz, der auf der „nicht-Existenz“ seines Beweises beruht, bewiesen und entschieden. Die Theorie der natürlichen Zahlen ist vollständig, unvollständig ist das Axiomensystem das Gödel voraussetzte. Durch das Axiom des „nichts“ der Beweistheorie wird es vervollständigt.