- 712 名前：）
> 一般の無限列のかわりに有理数の小数展開列を用いる場合
> ２）の選択公理は必要なく、１）の列のしっぽの同値類だけでOK
ここ、おれの理解は、可算選択公理を使っていると思うけどね。
まあ、ここは上位互換なので、選択公理を使っていると言っても、間違いではないと思う
ここ、しつこく拘る気は無いが、念押しな
拘って、先に進まないのも困るのでね
良いですね。念押しするよ。後で言い逃れができないようにね。
もっとも、殆ど、自分で逃げ道を塞いでくれているので、簡単で助かるのだが。 [] - [ここ壊れてます]
