Cantor-Diagonalisierung

Ein konstruktives Verfahren, das zu einer behaupteten Liste (Sequenz) von Objekten, die durch indizierte Einträge dargestellt sind, ein neues Objekt erzeugt, indem es die Diagonaleinträge verändert, sodass das neue Objekt sich von jedem listenmäßigen Objekt unterscheidet; häufig verwendet, um Nicht-Abzählbarkeit zu zeigen oder Objekte zu konstruieren, die keiner effektiven Enumeration angehören.