>>776-777
>「ZFで実数は存在しない」って言っちゃったんだ

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

ガロア第一論文と乗数イデアル他関連資料スレ12 rio2016.5ch.net/test/read.cgi/math/1735693028/15-
で、アホの二人を”公開処刑”中です！ｗ ；ｐ）

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

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

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