Sin embargo, el argumento de diagonalización demuestra que esto no es posible.