>>397
曲がりなりにもなんとか読んでるからこうやって書いているんだが。

完全性定理は第一階述語論理の恒真論理式が、公理系から導出可能かどうかという定理で
モデルはその証明に出てくるだけであって、主張には出てこなかったはず。

確信は持てないが、完全性定理が意味論的で、不完全性定理が構文的というのは逆じゃないか。
不完全性定理の原題って「PMやその関連体系での形式的に決定不可能な命題について」だぜ
決定可能性って、論理式の表現が恒真であるかどうかを確認できるかどうかって性質でそれは意味論側。

>>399
構文的完全性＝決定可能性は、第一階述語論理にしか言えない。ゲーデルの完全性定理から。