>>175-179 & >>183 & >>185

>＞ところが、場合分けとして、「無理数＝R−Bf」とか、「超越数＝R−Bf」は、できない
>＞”内点を持たない閉集合の高々可算和で被覆できる”の条件に、合致しないからだ
>
>その場合分けは「仮定が偽」になることが明白なだけであって、その場合分け自体は可能である。
>あるいは、次のように言ってもよい。お前がそこで言っていることはつまり、
>
>「仮定が偽のケースは場合分けとしては不可能である」
>
>という屁理屈である。だったら、その屁理屈を拝借すれば、全く同じように、
>「 R−B_f は R の中で稠密」という場合分けも不可能である。
>なぜなら、その場合「 R−B_f が第一類集合 」の条件に合致しないからだ(定理1.7により)。

普通の証明論の場合分けを否定されてもね。それ無理筋ですよ
（”場合分け”は、私の独自説ではなく、ごく一般の数理です）
集合論で言えば、仮定で有理数Qを問題にしているときに、集合Qの中での場合分けは可能です
が、集合Qの外、つまり、「無理数＝R−Bf」とか、「超越数＝R−Bf」は、できない。それをやれば、プロレスの場外乱闘ですよ

それから、”「 R−B_f は R の中で稠密」という場合分けも不可能である。
なぜなら、その場合「 R−B_f が第一類集合 」の条件に合致しないからだ(定理1.7により)”という主張も無理筋でしょう
それをいうなら、（>>13）”系1.8 有理数の点で不連続”には、適用できないということですよね
「 R−B_f は R の中で稠密」という場合分けが、定理1.7で存在しないなら、「系1.8 有理数」には定理1.7は適用できませんね

以上