>>811
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αを、補集合A-{aξ|ξ<α}が空でないなら aα=f(A-{aξ|ξ<α}) なる設定により定義せよ、あるいはそれが空ならaαを未定義のままとせよ。
選択関数ではなくaαの定義。君は文盲かい？


>つまりは、選択関数は Aの整列までで 十分なのです！！ ；ｐ）
独善妄想。
using a choice fiunction f for the family S of all nonempty subsets of A　の通り、選択関数の定義域はP(A)-{{}}。

君、もう詰んでるよ。詰んだら投了しないと人と認めてもらえないよ。サル扱いされるよ。それでいいの？