dudainconsistente escribió:
¿Será posible verificar la correspondencia biunívoca existente entre los números reales y los números reales del Intervalo Unidad, empleando el método del argumento de la diagonal de Cantor?
No se me ocurre como. La diagonal de Cantor demuestra que existen los conjuntos incontables (o no; hay interpretaciones, al parecer). Podríamos demostrar que tanto los reales como el subconjunto del intervalo unidad son incontables, pero eso no nos sirve de nada pues hay incontables con diferente cardinalidad. Por ejemplo, el conjunto de todos los subconjuntos de R tiene mayor cardinalidad que el propio R.