>>807
>>集合Aの整列には、Aと同濃度の集合族に対する選択関数を保証する選択公理で十分って
>>書いてあるかな？
>話は逆だよ。
>Akihiko Koga氏の選択公理→整列可能定理の証明で
>集合Aの整列に、Aのべき集合（空集合を除く）の選択関数が必要
>って 聞いたんだよ

Akihiko Koga氏の証明では
集合Aの整列に、Aのべき集合（空集合を除く）の選択関数を使っている
日本語、読めないのかい？　二ホン●ル