0048陽気な名無しさん2022/03/15(火) 12:25:21.310 >>41 >「無理数の無理数乗が有理数になることがある」なら、排中律を使う証明と構成的証明を知ってるけど、 > それをご存知なら排中律を使う非構成的証明を所望いたします