実数とかいう異質なもの

整数←自然数に負の数を付け加える
有理数←整数に逆数を付け加える
実数←有理数にコーシー列の極限を付け加える
複素数←実数に二次式の根を付け加える

自然数も異質だろう
無限公理から取れる集合から、ペアノの公理が成立する最小の部分集合を取ってくることで構成する

働けウンコ製造機

糞スレ<-数学を付け加える

コーシー列じゃなくて有限連分数か無限連分数かにすれば各ステップ全部対の関係で表せるじゃん

>整数←自然数に負の数を付け加える
自然数Nの順序環への拡張
>有理数←整数に逆数を付け加える
整数Zの順序体への拡張
>実数←有理数にコーシー列の極限を付け加える
有理数Qの完備体への拡張
>複素数←実数に二次式の根を付け加える
実数Rの代数閉体への拡張

実数だけ異質というのはある意味正しい
他はすべて代数的拡張だから

代数的拡張では可算集合の域を出られないのでせう。

そこで超準有理数

公称100万部の売れ行き、実数は