>>65で「0.999…」という数をどう扱ってるのか良くわからなかったのだ。
もし、適当な数列の極限値として定義しているのなら、実数も何も無く
極限値は1だし（極限値が具体的に求まってしまうから）。

むしろ、小数展開の一意性とか極限値の一意性とかが重要なポイントに
なってくるんじゃないか。