- 823 名前：トンデモ無限説 [2007/01/10(水) 03:32:49 ]
- あのMLに書いてあるのは、一部です。もっと決定的に0.999...=1は
おかしいと分かります。つまり、0.999...=1は認めません。
また、0.999...≠1は、その結論は認めますが、それを導く過程は
不十分であるか、十分な論理的根拠がないと思われるので、なんとも
いえません。
問題は、二つの公理系があるということです。それで、0.999...＝１
となる公理系は認めません。
私もおおむね、おおむねですが、野矢茂樹の可能無限選択派に属すると
思います。今のところ、正確にではありません。おおむねです。
