>>260
ふっふ、ほっほ
　>>15より
前スレより
rio2016.5ch.net/test/read.cgi/math/1724969804/973-983
>つまり(ZFCではなく)ZF上で実数は定義不可能と言いたいのですか？

アホは食言しているがｗ
その件は、『(ZFCではなく)ZF上で実数は定義不可能と言いたいのですか？』
と あるが これアホが言ったことで

いま、アホの二人を”公開処刑”中です！ｗ ；ｐ）

いま 下記まで進んだ
１）ZF上で、有理コーシー列の収束まで言える
　なので、有理コーシー列の収束による数の集合ができることまでは言える
２）問題が、それが カントールの意図した実数になっているかどうか？
　それは、もちろん我々がよく知っている実数のことだが
３）いま、ZF上＋可算選択公理で、xに収束する有理コーシー列が存在するとか
　Rがリンデレーエフ空間になることが言えるが
　可算選択公理では、そこまでらしい
４）Rが、距離空間を成し、任意の閉区間[a,b]がコンパクト | a<b a,b∈R
　を示すには、可算選択公理では力不足です
５）なので、繰り返すが
　ZF上で、有理コーシー列の収束まで言えて
　有理コーシー列の収束による数の集合ができることまでは言えるが
　そこで詰み

ってことです
お疲れ様です

アホの二人の”公開処刑”は
まだまだ続くよ ｗ ；ｐ）