>>40
そこまで行くと、最後はそう公理を作り上げることの「メリット論」に行き着く訳で…。


1/3=0.333… を認めている人には、これを利用するのは一つの「説明」になるでしょ。
ま、「証明」じゃないのかも知れないけどね。(「証明」はこのスレのテーマじゃないし)

逆に言うと、1=0.999…を否定すると、1/3=0.333…も否定しなくちゃならなくなる
わけで(あるいは無限小数の演算を否定するか)、「面倒を抱え込む」って部分である種の
メリット論になっている…と。