Das weitverbreitete Auftreten in hinreichend ausdrucksstarken formalen Systemen, dass es wahre Aussagen über die intendierten Strukturen gibt, die in diesen Systemen nicht beweisbar sind; umfasst Ergebnisse wie Gödels Unvollständigkeitssätze und verwandte Grenzen der Formalisierung.

Prinzip

Wenn ein System hinreichend ausdrucksstark ist, grundlegende Arithmetik kodieren kann, rekursiv axiomatisierbar und konsistent ist, kann es nicht zugleich vollständig (alle wahren Sätze beweisbar) und effektiv axiomatisierbar sein; Selbstbezug und Diagonalisierung erzeugen Aussagen, die das System bei Konsistenz nicht beweisen kann.

Demonstration

Gödels erster Unvollständigkeitssatz konstruiert für jede konsistente rekursiv axiomatisierbare Theorie, die eine minimale Arithmetik erweitert, eine Aussage, die inhaltlich ‚diese Aussage ist in der Theorie nicht beweisbar‘ sagt und damit wahr, aber in der Theorie nicht beweisbar ist.

Fehlanwendung

Zu behaupten, das Unvollständigkeitsphänomen mache die Mathematik sinnlos oder formales Schließen grundsätzlich unzuverlässig; Unvollständigkeit begrenzt nur bestimmte Arten formaler Erfassung und lässt große Bereiche der Mathematik formal handhabbar.

Konsequenz

Unvollständigkeit zwingt zur Anerkennung der Grenzen einzelner formaler Systeme, motiviert die Untersuchung stärkerer Theorien, Metatheorie und relative Konsistenzbeweise und legitimiert die sorgfältige Auswahl zusätzlicher Axiome bei Bedarf.

Umkehrung

Vollständigkeit (im Sinne, dass eine Theorie jede Wahrheit einer spezifizierten Struktur beweist) tritt in schwächeren oder anderen Rahmen auf (z. B. vollständige Theorien, entscheidbare propositionale Logiken); Vollständigkeitssätze der ersten Ordnung betreffen semantische Folgerung, nicht die Vollständigkeit arithmetischer Theorien.

Abgrenzung

Das Phänomen erfordert hinreichende Ausdruckskraft (typischerweise die Möglichkeit, primitiv-rekursive Funktionen darzustellen und zu diagonalisieren); es gilt nicht für schwache Systeme ohne diese Ausdrucksstärke oder für Semantiken, die keine intendierten Modelle festlegen.

Semantische Spannung

Es besteht Spannung zwischen Gödels Unvollständigkeit und Ergebnissen wie denen von Tarski/Church/Komplettheit — zwischen der Begrenzung formaler Theorien, arithmetische Wahrheit zu erfassen, und der Vollständigkeit der ersten-Ordnung-Logik bezüglich semantischer Folgerung.

Synthese

Das Unvollständigkeitsphänomen bezeichnet die inhärente Lücke zwischen Wahrheit und formaler Beweisbarkeit in hinreichend reichen Theorien: selbstreferentielle Konstruktionen erzeugen wahre, aber unbeweisbare Sätze und treiben die Entwicklung stärkerer Axiome und metamathematischen Verständnisses voran.