>>413
超準解析でも級数の極限で定義できるでしょ。
ただし、Σ[i＝1〜n]のnの部分が無限大超自然数になっても大丈夫なように
Σの解釈を少し変えなくちゃならないけど。

普通の実数で成り立つ事は超準解析でも成り立つってのは確かだけど、
それは命題の字面が同じというだけであって
標準モデルと超準モデルでは別の解釈をしてるんだよね。
だから、「超準解析でも0.999…=1だよ」派は
超準解析における0.999…=1の解釈が何であるか示すべきだと思うな。