>>412
超準解析においても無限小数展開は定義されるのか？実数の範囲なら
0.a1a2a3…＝sup[n∈N]Σ[i＝1〜n]ai/10^iと定義すればよい。これ
以外にも方法はあるが、どの方法も本質的に実数の完備性を使う。
しかし、超実数は完備ではない(だからと言って、定義できないとは
言えないが)。