お？あなたは>>249さんじゃないのね？それは悪かった。説明するよ。

>>251より前で、「0999…＝1を採用するﾒﾘｯﾄの方が大きい」と主張する方(249氏)がいた。249氏は「それを
採用すれば、例えば、ｱｷﾚｽと亀のﾊﾟﾗﾄﾞｸｽが説明できる」といった。しかし、別に「0.999…≠1」を採用しても、
ﾊﾟﾗﾄﾞｸｽは説明できる。だから、これはﾒﾘｯﾄに成り得ない。それに対して249氏は「0.999…≠1を採用した場合の
ﾊﾟﾗﾄﾞｸｽの説明には、ｵﾘｼﾞﾅﾙでは言及されて無い’時間’を持ち出さないと駄目だろ？0.999…＝1を採用すれば、
時間を持ち出さなくても説明できるんだ。これはﾒﾘｯﾄだろ？」といった。で、俺が疑問に思ったのは「ｵﾘｼﾞﾅﾙで
言及されてない’時間’」の部分。果たして、時間に言及せずにこのﾊﾟﾗﾄﾞｸｽを記述することは出来るのか？俺は
ムリだと思うよ。(そして、もし実際にムリだとしたら、やっぱり「ﾊﾟﾗﾄﾞｸｽの解決」は「0.999…＝1を採用するﾒﾘｯﾄ」
には成り得ない)

ということを今までやってた。