おっちゃんです。
>>590
>aは有理数でないと前提して矛盾を導いたんなら
>背理法による結論は「aは有理数」だけどな
無理性(有理性)や超越性(といっても色々な数に分類が出来る)の判断における背理法で、
そのように背理法を用いてaと結論付けても意味ない。
お前さんのようにこういうことをいう人間から、的を得ていない指摘ばかり受けている。
却ってこういう指摘をする人間は迷惑だ。