>>238
>>AC_ωを使って、Qを完備したものが実数Rであることが証明できる
>https://rio2016.5ch.io/test/read.cgi/math/1778894782/875
>を読めないバカがまた嘘デタラメを撒き散らしとる

意味分らん
そのリンク先は
(引用開始)
>選択公理抜きの ZF だけの 有理コーシー列による実数構成を きちんと最後までやってもらえ
https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
(引用終り)
だね

で https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
を見ると、ZF公理系の話では無いだろ
例えば
Tarski's axiomatization of the reals
とか
それ 笑えるんだけど？（＾＾