- 545 名前：１３２人目の素数さん [2025/01/22(水) 15:31:35.39 ID:LgUwuh2U.net]
- > 誤解です
ほんとだ、君、間違ってる
誤 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を全部消さないと、循環論法でアウトだから
いってることわかる？六甲山のおサルさん
ふっふっふっふ ほっほっほっほ はっはっはっは
