Ein konstruktives Beweisverfahren, das zu jeder angeblichen Aufzählung von Objekten ein neues Objekt konstruiert, indem die n-te Eigenschaft des n-ten gelisteten Objekts verändert wird, so dass das konstruierte Objekt nicht in der Liste vorkommt.

Prinzip

Koordinatenweise Änderung entlang der Diagonale, um an jedem Index eine Abweichung sicherzustellen und so ein Element zu erzeugen, das jeder vorgeschlagenen abzählbaren Aufzählung entkommt.

Demonstration

Um die Nichtabzählbarkeit der reellen Zahlen in [0,1] zu zeigen, nimmt man eine Liste von Dezimaldarstellungen an; man bildet eine neue Dezimalzahl, deren n-te Ziffer sich von der n-ten Ziffer der n-ten gelisteten Zahl unterscheidet (man vermeidet 9, um Darstellungsambiguitäten zu verhindern), und erhält so eine Zahl, die nicht in der Liste steht.

Fehlanwendung

Nichtbeachtung nicht-eindeutiger Darstellungen (z. B. 0,4999...=0,5000...) oder Veränderung von Ziffern in einer Weise, die eine bereits gelistete Zahl erzeugen könnte; Anwendung der Methode ohne Sicherstellung, dass das konstruierte Objekt im gleichen Definitionsbereich liegt.

Konsequenz

Begründet Nichtabzählbarkeit, beweist die Existenz von Objekten außerhalb jeder abzählbaren Familie und bildet die Grundlage diagonalbasierter Techniken in Berechenbarkeitstheorie und Logik, mit Folgen für Hierarchien und Unvollständigkeit.

Umkehrung

Wenn eine Menge aufzählbar ist, kann die Diagonalkonstruktion kein wirklich neues Element hervorbringen – die Diagonalisierung widerlegt Aufzählbarkeit per Widerspruch; eine Umkehr der Annahmen (z. B. variable Listen) kann das Ergebnis aufheben.

Abgrenzung

Anwendbar, wenn Objekte eine abzählbare Folge von Koordinaten oder Merkmalen besitzen (Folgen, Funktionen, Dezimaldarstellungen); nicht direkt anwendbar auf Bereiche ohne kanonische koordinatenweise Beschreibung oder bei stark nicht eindeutigen Darstellungen ohne Vorsicht.

Semantische Spannung

Verwandt mit Diagonalisierung in der Berechenbarkeit und mit kombinatorischen Matrixargumenten; Spannung besteht zwischen der rein mengentheoretischen Nichtabzählbarkeitsverwendung und der konstruktiven, algorithmischen Diagonalisierung für Undezidierbarkeitsbeweise.

Synthese

Cantors Diagonalargument verändert systematisch die diagonalen Einträge, um ein Element zu konstruieren, das sich an jeder Koordinate von einer gegebenen Liste unterscheidet; so liefert es eine verlässliche Methode zum Beweis der Nichtaufzählbarkeit und zur Konstruktion von Gegenbeispielen in verschiedenen Bereichen.