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

(引用開始)
>>586
選択関数の定義域は？
「Aの空でない部分集合全体」つまりP(A)-Φだよね？
決して{A,A∖{aξ∣ξ<1},A∖{aξ∣ξ<2},…}ではないよね
だって、後者の場合aξを定義するのに選択関数使っちゃうから
あくまで{A,A∖{aξ∣ξ<1},A∖{aξ∣ξ<2},…}はP(A)-Φの部分集合で
しかも、選択公理と超限帰納法の適用の結果として分かるだけ
選択公理に先立って、定義域として示せるわけではない
(引用終り)

＜サルの循環論法＞
1）集合Aの冪集合P(A)に、順序数の割当ができるという
（つまり、P(A)の順序数割当に上限がある）
　そうすると、当然 集合Aでも、順序数の割当ができるぞ！
2）もし、集合Aに 順序数の割当ができないとすると
　当然、P(A)の順序数の割当ができない！！ｗ

必死で、集合Aの順序数の割当に 突っかかるサル
アホじゃん！
てめえが、循環論法やってんじゃんか！！ｗ ；ｐ）