>>362
>game2 ：区間[0,1]の有理数10進展開 同値類は可算濃度（可算選択公理が必要）
>>367
>はい、大間違いです。

ID:neeHOKKD 氏 が正しい

具体的に代表を選択できるので、選択公理は不要

尻尾同値を、「n番目以降の項が全て一致」というn-尻尾同値に変えた場合、
n-1番目迄の項を全部0として、n-番目以降の尻尾を具体的に与えた代表を
具体的に構成できるのでやはり選択公理は不要
（ちなみに同値類の個数は非可算濃度）

n-尻尾同値だと代表が選べるのに、尻尾同値だとなぜ具体的に選べないのか？
それは尻尾の開始位置が特定されていない上に、一般の無限列の場合、
循環節の存在のような特徴的な構造が存在しないから