Cantor (1874) Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen, Journal de Crelle 77, p258-262 (vegeu el centre de numeració de Göttingen [Enllaç no actiu]). Disposem de l'origen d'aquesta demostració, que encara no és la demostració més coneguda que utilitza l'argument diagonal, gràcies a les cartes del 7 i 9 de desembre del 1873 de Georg Cantor a Richard Dedekind.