整数←自然数に負の数を付け加える
有理数←整数に逆数を付け加える
実数←有理数にコーシー列の極限を付け加える
複素数←実数に二次式の根を付け加える
自然数も異質だろう
無限公理から取れる集合から、ペアノの公理が成立する最小の部分集合を取ってくることで構成する
コーシー列じゃなくて有限連分数か無限連分数かにすれば各ステップ全部対の関係で表せるじゃん
>整数←自然数に負の数を付け加える
自然数Nの順序環への拡張
>有理数←整数に逆数を付け加える
整数Zの順序体への拡張
>実数←有理数にコーシー列の極限を付け加える
有理数Qの完備体への拡張
>複素数←実数に二次式の根を付け加える
実数Rの代数閉体への拡張
実数だけ異質というのはある意味正しい
他はすべて代数的拡張だから
証明などの論理の記述の全体は記号を使って有限長で書くので可算濃度。
その可算濃度しかない手段を以て、非可算濃度である実数集合について
うまくとり扱えるのかは自明では無いと思う。実数集合というものが
あるとしても、それについて具体的に何かを示せる事柄の全体は可算濃度に
留まらざるを得まい。