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