>>799-800
ありがとう
Akihiko Koga氏のサイトと資料は
旧ガロアスレで取り上げて、何度もお世話になっています
彼のサイトは、参考になるよね

で？
選択公理→整列可能定理の証明で
集合Aの整列に、Aのべき集合（空集合を除く）の選択関数が必要って
書いてあるかな？