- 558 名前：１３２人目の素数さん mailto:sage [2025/01/23(木) 08:14:28.15 ID:K82uihNt.net]
- >循環論法でないことは、”最初は グー”だから、すぐ分ることよ
>”A∖{aξ∣ξ<α}”から初めて、この段階では選択関数 f は、使われていない
> A∖{aξ∣ξ<α}”が、最初の定義だよ”ってこと！
最初は選択関数fだろ
その後、この順で整列される
f(A)→f(A＼f(A))→f((A＼f(A))＼f(A＼f(A)))→…
だからfがないと何も始まらないな
