Es posible demostrar de forma no constructiva que existen números irracionales $x$ y $y$ tal que $x^y$ es racional, pero esa prueba sólo demuestra que tales números existen y no especifica cuáles son.
¿Qué es un constructivo prueba de que hay dos números irracionales $x$ , $y$ tal que $x^y$ es racional, es decir, ¿qué son esos números?