>>688
すると、問題の正しい設定は
選択公理を認めて
使うことが前提になっているというわけですか