>循環論法でないことは、”最初は グー”だから、すぐ分ることよ
>”A∖{aξ∣ξ<α}”から初めて、この段階では選択関数 f は、使われていない
>　A∖{aξ∣ξ<α}”が、最初の定義だよ”ってこと！
　最初は選択関数fだろ
　その後、この順で整列される
　f(A)→f(A＼f(A))→f((A＼f(A))＼f(A＼f(A)))→…
　だからfがないと何も始まらないな