>>226
選択公理は必要ですか?
選択公理がなくとも解けますか?