Cantors Diagonalargument

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.