>>442
＞余談だが、Formal power series "形式的な冪級数を関数として解釈する"がある

wikipediaに以下の記述はないけど、◆yH25M02vWFhP君の妄想？

「f(x)= Σ n >= 0 a_n*x^n ＝a0 + a1 x +a2 x^2 +a3 x^3 +・・・
で 10進小数展開を考える。
x=1/10 として a1 ,a2,a3,・・が 0〜9の整数で
和や積では 各項の演算は 通常算術の通り
繰り上がり 繰り下がりを導入して
a0は 任意整数とする
これで 形式的な冪級数を使った
無限10進小数展開を考えることができる」

>これが 従来のコーシー列の収束による実数の定義と一致することは
＞賢い人は少し考えれば分かるだろう

一致しない

0+9/10+9/100+9/1000　と
1+0/10+0/100+0/1000　が
違ったまんまだよ

従来のコーシー列の収束による実数の定義
をここにコピペすれば
◆yH25M02vWFhP君の初歩の間違いがわかるよ