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

>>711-718
あほ が、がんばるねｗ

>誤　fiunction
>正　function

ああ、訂正ありがとう
そこ、海賊版のPDFは、テキストがコピーできないので
このページを印刷かけて、スキャナーからOCRして PDF出力を得たが
そこで、OCRの誤変換が出たんだね

>　aα=f(A-{aξ：ξ<α})　と定義したのだから
>　aに先立ってfの定義が必要
>　fの定義域がaでつくられるとか完全な循環論法

そこ by induction でしょ
つまり、ある順序数αに対して α+1 があって
次に、関数fに食わせる集合は、f(A-{aξ：ξ<α}より aα減った集合だね
A-{aξ：ξ<α} - aα だね

そうやって、A-{aξ：ξ<α}からなる集合族を あつめて
P'(Aのべき集合から 空集合を抜いた集合) の部分集合が出来上がる
P'の部分集合を作る公理は、選択公理ではなく、置換公理を使うよ （常識でしょ？（＾＾）