Ein syntaktisches Lemma in der formalen Arithmetik, das garantiert, dass zu jeder Formel φ(x) eine Aussage ψ existiert, sodass das System ψ ↔ φ(⌜ψ⌝) beweist, also eine Aussage, die eine Eigenschaft über ihre eigene Gödelnummer aussagt.

Prinzip

Durch Arithmetisierung der Syntax und Verwendung einer berechenbaren Selbstsubstitutionskodierung lassen sich Fixpunkte syntaktischer Operationen konstruieren: Formeln, die bei Ersetzung ihrer eigenen Numerale die beabsichtigte Eigenschaft reproduzieren.

Demonstration

Gegeben eine Formel φ(x) mit einer freien Variablen, konstruiert man einen Term s, der die Gödelnummer der Formel bezeichnet, die durch Substitution des Numerals von x in φ entsteht; das Diagonallemma liefert ψ mit ψ ↔ φ(⌜ψ⌝) im System.

Fehlanwendung

Das Lemma in einem System anzuwenden, das keine effektive Gödelkodierung oder keine Repräsentation berechenbarer Funktionen besitzt, oder das Lemma mit semantischer Selbstbezüglichkeit zu verwechseln statt es als syntaktische Fixpunkterzeugung zu sehen.

Konsequenz

Das Diagonallemma bildet die Grundlage für Gödels Unvollständigkeitssätze, Tarskis Undefinierbarkeit und die Konstruktion selbsterreferenzieller Sätze, wie sie in vielen Paradoxen und beweistheoretischen Argumenten auftreten.

Umkehrung

Wenn keine Fixpunkterzeugung existierte, ließen sich viele selbsterreferenzielle Sätze (etwa ‚dieser Satz ist unbeweisbar‘) syntaktisch nicht produzieren, und zahlreiche Unvollständigkeitsargumente würden scheitern.

Abgrenzung

Voraussetzung ist eine Theorie, die Arithmetisierung ermöglicht (Darstellung der Gödelkodierung und grundlegender berechenbarer Funktionen); gilt nicht für Sprachen, die Numerale oder Substitution nicht berechenbar darstellen können.

Semantische Spannung

Man muss die durch das Lemma garantierten syntaktischen Fixpunkte von informeller semantischer Selbstbezüglichkeit unterscheiden — das Lemma ist ein mechanisches Kodierungsergebnis, die semantische Selbstbezüglichkeit betrifft Bedeutungsfragen.

Synthese

Das Diagonallemma ist der formale Mechanismus zur Erzeugung syntaktischer Selbstbezüglichkeit: Durch Kodierung von Formeln und berechenbare Selbstsubstitution erzeugt es Sätze, die über ihre eigenen Codes sprechen und so zentrale Inkompletheits‑ und Indefinierbarkeitskonstruktionen ermöglichen.