えっと、補足で、>>61

> 逆に言えば、実数の定義と0.999・・・≠1は、両立しない。

そんなのは今議論してる人達はみんな知ってると思うけど、
でもそんなことを言ってるんじゃなくて、
「なんで実数の定義を受け入れるわけ?」
とかそういう次元の話をしてるんじゃないの?56は。
例えばさ、(今誰かがそう言ってるとかじゃないけど)

「なぜ実数をこれこれと定義するんですか」
→「それが正しい定義だからだよ」

「なぜ実数の定義が正しい実数の定義だと言えるんですか?」
→「定義に正しいかどうか言っても仕方ないよ、そのように
  定義されるもののことを実数と呼ぶんだから」

っていう説明を同時に行うのは何かおかしいんだし、
少なくともどちらかは別の仕方で説明しなくちゃ
いけないよね?