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

>>511-512
　>>508より
(引用開始)
誤　A∖Φ,A∖{Φ,a1},A∖{Φ,a1,a2},A∖{Φ,a1,a2,a3},・・ A∖{aξ∣ξ<α}・・
正　A(=A∖{}),A∖{a1},A∖{a1,a2},A∖{a1,a2,a3},・・ A∖{aξ∣ξ<α}・・
>選択関数fは
>f：集合族（定義域：入力）→ ある要素（aα：出力）
>（aα= f(A∖{aξ∣ξ<α}) の通りですが）
じゃ、fを表に出しなよ
A,A∖f(A),(A∖f(A))∖f(A∖f(A)),…
↓
f(A),f(A∖f(A)),f((A∖f(A))∖f(A∖f(A))),…
定義域の集合族を{A,A∖f(A),(A∖f(A))∖f(A∖f(A)),…}に制限したいらしいけど
それ中のfを全部消さないと、循環論法でアウトだから
(引用終り)

発狂していると思うのは私だけだろうか？

そもそも、>>504 en.wikipedia 9＾ Jech, Thomas (2002). Set Theory
”For every ordinal α, define an element aα that is in A by setting
aα= f(A∖{aξ∣ξ<α})
if this complement A∖{aξ∣ξ<α} is nonempty, or leave aα undefined if it is.”
だった

この ”A∖{aξ∣ξ<α}”内では、選択関数 f は、使われていない ；ｐ）
そこに、後から 勝手に
”じゃ、fを表に出しなよ”とか、言って
A,A∖f(A),(A∖f(A))∖f(A∖f(A)),…
↓
f(A),f(A∖f(A)),f((A∖f(A))∖f(A∖f(A))),…
と書き換えてさｗｗｗ

もともと入っていない 選択関数 f を てめえが 勝手に書き加えて
てめえが、勝手に循環論法を作ってさ

それを、あたかも en.wikipedia 9＾ Jech, Thomas (2002). Set Theory
が最初からそうだったように 主張しているｗ 循環論法だ？

バカも休み休みに言えだろ？
おまえ 完全にバカじゃん ｗ ；ｐ）