>>189
＞が、集合Qの外、つまり、「無理数＝R−Bf」とか、「超越数＝R−Bf」は、できない。それをやれば、プロレスの場外乱闘ですよ

「場外乱闘」などという言葉を使ってみても、お前が言っている内容は全く変わらない。
お前がそこで言っていることはつまり、
――――――――――――――――――――――――――――――――――
R−B_f が第一類集合なのに「 R−B_f＝無理数」としてしまえば、
R−B_f が第一類集合であることに矛盾するので、この場合分けは出来ない
――――――――――――――――――――――――――――――――――
ということである。この屁理屈を>>178-179に適用すると、次のようになる。

――――――――――――――――――――――――――――――――――
c＝√2 とすると、c^c は無理数であることが知られている。すると、
c^c は無理数なのに「 c^c は有理数 」としてしまえば、
c^c が無理数であることに矛盾するので、この場合分けは出来ない。
――――――――――――――――――――――――――――――――――
つまり、スレ主は>178-179の証明が「間違いだ」と言っていることになるのである。
しかし、>178-179の証明は、よく知られた「正しい証明」である。

これは一体どういうことだね？