あのMLに書いてあるのは、一部です。もっと決定的に0.999...=1は
おかしいと分かります。つまり、0.999...=1は認めません。
　また、0.999...≠1は、その結論は認めますが、それを導く過程は
不十分であるか、十分な論理的根拠がないと思われるので、なんとも
いえません。
　問題は、二つの公理系があるということです。それで、0.999...＝１
となる公理系は認めません。
　私もおおむね、おおむねですが、野矢茂樹の可能無限選択派に属すると
思います。今のところ、正確にではありません。おおむねです。