Cantor’s diagonalization argument