Cantors zweites Diagonalargument ist ein
mathematischer Beweis dafür, dass die Menge der
reellen Zahlen überabzählbar ist, und allgemeiner, dass die Abbildungen einer Menge nach {0,1} sowie die
Potenzmenge einer Menge mächtiger als diese Menge sind. Der Mathematiker
Georg Cantor fand diesen Beweis im Jahr 1877 und gab die beiden Verallgemeinerungen 1891 und 1899 an.