>>a choice function f for the family S of "all" nonempty subsets of A.
>>"all"がこういってる
>そこから "aα=f(A-{aξ：ξ<α})" をどうやって出すの？

出すって？　fの定義域として？　そんな必要ないだろ

なんでfの定義域をA-{aξ：ξ<α}に限定する必要があるんだ？

そんな馬鹿なことする必要まったくないって
大学数学の初歩からオチコボレた●ルには分からんか？

>おれの誘導は・・・

無駄、全く必要なし！！！