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

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

基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ - 暇つぶし2ch363:１３２人目の素数さん
24/05/25 08:15:38.67 43OvMs57.net
>>361
一階述語論理上の再帰的に公理化可能な公理系はみなゲーデル完全だけど
もちろん一階述語論理上の自然数論も集合論も

次ページ

続きを表示

1を表示