[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

519: 2021/02/14(日)10:45 ID:RsefdZWA(83/88) AA×


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
519: [sage] 2021/02/14(日) 10:45:25 ID:RsefdZWA ゲーデルの不完全性定理で 「自然数論の無矛盾性は、自然数論では証明できない」 といい、同じくゲーデルの完全性定理で 「理論で充足可能な論理式を真とするモデルがある」 という それじゃ 「「自然数論における矛盾の証明が存在する」という命題が真だったら 　どんな命題も証明可能になってモデルにならないじゃん！」 そんなふうに考えていた時期が俺にもありました http://rio2016.5ch.net/test/read.cgi/math/1610452199/519
ゲーデルの不完全性定理で 自然数論の無矛盾性は自然数論では証明できない といい同じくゲーデルの完全性定理で 理論で充足可能な論理式を真とするモデルがある という それじゃ 自然数論における矛盾の証明が存在するという命題が真だったら どんな命題も証明可能になってモデルにならないじゃん！ そんなふうに考えていた時期が俺にもありました

---

上下前次1-新書関写板覧索設栞歴

---

あと 483 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.026s