>>8
そこでいう選択公理って具体的になんのことですか?