Cantor's diagonalization argument