Esto se verifica con una variante del argumento de diagonalización de Cantor.