Inter-universal geometry と ABC予想 (応援スレ) 74 (958レス)
上
下
前
次
1-
新
671
(1)
: 09/02(火)10:28
ID:lXfOOPqW(1)
AA×
[
240
|
320
|480|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
671: [] 2025/09/02(火) 10:28:17.31 ID:lXfOOPqW 実数論では、連続性(完備性)を満たすように定義しただけで パラドックスを解決した、というよりは、回避したというのが正しい 「{}に0,1,2,・・・を順次追加していき、無限回の追加が完了してNが出来上がる」 とはなっていないことは、ペアノの公理を一階述語論理上で形式化した場合に 超準的自然数を持つモデルが生じてしまうことからも明らかである http://rio2016.5ch.net/test/read.cgi/math/1755784703/671
実数論では連続性完備性を満たすように定義しただけで パラドックスを解決したというよりは回避したというのが正しい にを順次追加していき無限回の追加が完了してが出来上がる とはなっていないことはペアノの公理を一階述語論理上で形式化した場合に 超準的自然数を持つモデルが生じてしまうことからも明らかである
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 287 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.022s