無理数の無理数乗が存在しないことを示せって

√2^√2は有理数か無理数

無理数としたら

(√2^√2)^√2=2だから
あるって

証明ありますけど
これ２律背反的に考えて不完全な証明じゃないですか？