”＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
　 (あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”
＜ あほ二人は、選択公理−選択関数が 全く分かっていない＞

血の巡りの悪い人がいるね

>>720-727

おサルさ>>7-10
必死で論点をチラシて、ゴマカシているけどｗ

で、>>717より
>a choice function f for the family S of "all" nonempty subsets of A.
>"all"がこういってる

そこから >>709 Thomas Jechの "aα=f(A-{aξ：ξ<α})" をどうやって出すの？ｗｗ ；ｐ）
おれの誘導は、>>709-710に書いた

これ否定するんだねｗｗ ；ｐ）
で、どうするの？ｗｗｗ

先制攻撃をしておく
いま Aが 可算集合とするよ

>>709-710に書いたように、集合族 A-{aξ：ξ<α} を使った 選択関数に限れば
順序数 α は、可算の範囲だよね

ところが、Aのべき集合全体をカバーする順序数は 2^A つまり 非可算だろ
（あたかも 自然数Nを整列させるのに、2^N の 非可算集合で、実数Rを整列させようってか？）

おサルさ あんた
あたま カラっぽじゃねｗ ；ｐ）