>>620
>何を言っているのかな？
>意味がわからん
　ぬっしー、敗北宣言
　「意味が分からん」は負け

>・可算実数列R^Nのしっぽ同値類の構造は
>　<形式的冪級数(循環小数=無限小数相当)と多項式（有限小数相当）のモデル>
>　で説明可能
　形式的冪級数とか多項式とか要らん　代数構造全く使ってないから
　無限列と有限列でOK

>そして、有限個の同値類から各1つ代表を選ぶには、選択公理不要
>可算無限の同値類から各1つ代表を選ぶには、可算選択公理で足りる
>非可算無限の同値類から各1つ代表を選ぶには、フルパワー選択公理を要する
　回答者に対して、あらかじめ100列の同値類がこれだと示されるなら
　「100個の同値類から各1つ代表を選ぶから、選択公理不要」
　といっていいが、そうでないなら、その言い訳は駄目
　100列が決まっていても、回答者はそれがなんだかわからないから
　数列全体の非可算無限個ある尻尾同値類から代表を選ぶ選択公理が必要
　あと、数列に制限をつけないなら、Sが２つ以上の要素を持つ集合の場合
　S^Nは非可算集合であって、可算選択公理では足りない
　（つづく）