18/12/30 08:51:09.73 Fgu/mMxZ.net
>>652
>> 一般の無限列のかわりに有理数の小数展開列を用いる場合
>> ２）の選択公理は必要なく、１）の列のしっぽの同値類だけでOK
>おれの理解は、可算選択公理を使っていると思うけどね。
それスレ主の誤解
ヒルベルトの無限ホテルの場合も同様だが
代表元を選ぶ関数が直接構成できる場合
可算選択公理は必要ない
>しつこく拘る気は無いが
>拘って、先に進まないのも困るのでね
拘って恥かくのはスレ主だけ
選択公理に固執しても、貴様に勝ち目はないよ