実数とかいう異質なもの

**１３２人目の素数さん** · 2025/03/21(金) 17:43:43.48

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

**１３２人目の素数さん** · 2025/03/21(金) 17:48:48.98

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

**１３２人目の素数さん** · 2025/03/21(金) 17:58:55.08

働けウンコ製造機

**１３２人目の素数さん** · 2025/03/21(金) 21:16:41.33

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

**１３２人目の素数さん** · 2025/03/22(土) 00:57:50.21

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

**１３２人目の素数さん** · 2025/03/22(土) 08:38:57.07

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

**１３２人目の素数さん** · 2025/03/22(土) 08:40:52.44

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

**１３２人目の素数さん** · 2025/03/22(土) 17:31:59.96

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

**１３２人目の素数さん** · 2025/03/23(日) 17:33:04.33

そこで超準有理数

**１３２人目の素数さん** · 2025/03/26(水) 18:56:02.59

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