>>298
>>301の最後の部分の訂正:考え方 → 公理系
いわゆる、ZFCの公理体系で考えるのが標準的な考え方。
なので、普通は選択公理を仮定して考える。