>>55 >>59
選択公理はどこで用いるんですか?