Cantor's diagonalization method