550 名前:現代数学の系譜 雑談 [2025/01/22(水) 22:45:53.64 ID:2wGMe0ya.net] <公開処刑 続く> (『 ZF上で実数は どこまで定義可能なのか?』に向けて と (あほ二人の”アナグマの姿焼き") に向けてww ;p) >>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 は、使われていない ;p) そこに、後から 勝手に ”じゃ、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))),… と書き換えてさwww もともと入っていない 選択関数 f を てめえが 勝手に書き加えて てめえが、勝手に循環論法を作ってさ それを、あたかも en.wikipedia 9^ Jech, Thomas (2002). Set Theory が最初からそうだったように 主張しているw 循環論法だ? バカも休み休みに言えだろ? おまえ 完全にバカじゃん w ;p)