基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？

[過去ﾛｸﾞ] 基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ (645ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

361(1): 2024/05/25(土)07:49 ID:VeOj487N(5/136) AAS
ゲーデル完全な系はユークリッド幾何学すら作れんから意味ない

363(3): 2024/05/25(土)08:15 ID:43OvMs57(1/67) AAS
>>361
一階述語論理上の再帰的に公理化可能な公理系はみなゲーデル完全だけど
もちろん一階述語論理上の自然数論も集合論も