>>488
週末はスレ主対応で忙しいだろうから一旦引きます。

---
今、いろいろ思いを巡らせてます。
アリスが有理数qを選び、無限小数に直して一列の箱に詰める。
ボブはアリスが選んだqを当てる。箱は1箱目から順次、すべて開けてよい。
しかし無限小数に変換されたが最後、もはやqがなんの有理数かを認識できなくなる・・

同値類を決定できないという以前に、こんな簡単なこともできなくなりそう。
こう考えると何だか不思議な気がしてくる。
表示を変えただけなんだからそれくらい認識してもらわなきゃ困るという気もしてくるし、
無限個すべてを実際に認識することはできない、という気もするし。