24/05/23 15:50:40.57 iy+WwMGU.net
＞ゲーデル完全な系
もしかして「ゲーデルの完全性定理が成立している」
（理論における任意のモデルで成立する命題が証明可能）
という意味の造語？
数学理論はだいたいその意味で完全だが
ついでにいうと、チューリングの意味で完全、というのは決定可能という意味かい？
ロジックを勉強したなら、そういう誤解のない言葉があると分かるんだがな
でも二か月じゃ無理か いったい何をどう理解したんだか
24/05/23 15:50:40.57 iy+WwMGU.net
＞ゲーデル完全な系
もしかして「ゲーデルの完全性定理が成立している」
（理論における任意のモデルで成立する命題が証明可能）
という意味の造語？
数学理論はだいたいその意味で完全だが
ついでにいうと、チューリングの意味で完全、というのは決定可能という意味かい？
ロジックを勉強したなら、そういう誤解のない言葉があると分かるんだがな
でも二か月じゃ無理か いったい何をどう理解したんだか