>>430
超現実数として考えても
1＝0.999…なる公理系と1≠0.999…なる公理系とが別々にあるんでしたよね。

ところで、次の様な疑問的妄想が沸いたんだが、とうなんでしょか？

｢1≠0.999…なる公理系は、1＝0.999…なる公理系をより区別した系である
〜などと考える事でまとめてしまう事(言い変えると、1≠0.999…系の方が精密)
は出来る(と言える)か？｣