数学基礎論・数理論理学 その15 [転載禁止]©5ch.io
■ このスレッドは過去ログ倉庫に格納されています
0397132人目の素数さん
2015/01/04(日) 22:47:21.24ID:9D6l8J09完全性定理の方が意味論的問題で、ゲーデルの不完全性定理の方が構文論的問題だよ。
完全性定理は意味論(モデル)と構文論(一階述語論理の証明体系)の整合性がとれていることを示している。
ゲーデルの第一不完全定理は証明にはモデル側がでてくるが、
実際の決定不能な命題は意味論側とは無関係に存在しているもの。
■ このスレッドは過去ログ倉庫に格納されています