>>493
>sの同値類を選ぶのが解というなら最初からs選べばいいじゃん
「sの同値類」とは何だかわかってますか？
sと同じ尻尾を持つ無限列全体の集まりですよ

で、同値類を選ぶ？　選ぶ必要はないですよ
sが決まれば、同値類はわかりますね
ここで、重要なのは、sの同値類を知るのに
sの全部の項が分かる必要はなくて
ある項から先の尻尾が分かれば、同値類は分かる
そして、同値類が分かれば選択公理によりその代表が分かる

つまりsのD+1番目以降の全ての項という尻尾から、選択公理により
sの同値類の代表r(s)を求めることができる

sからr(s)を求めるのに選択公理は一回しかつかっていませんよ
他にどこで使うんですか？　おかしいですね