>>437
>論理学では「証明論的意味論とモデル論的意味論を繋ぐ」と言うことになるのかな？

単に「証明論とモデル論を繋ぐ」でもいいと思うけどね。
でも二つの意味論を繋ぐという意味で「意味論的完全性」という名前がしっくりくることになるかもね。

一方の「統語論的完全性」っていう名称は不適切ってことだね。
「証明論的完全性」と言うか、まったく別の観点の名称である「否定完全性」というべきなのかな。

ちょっと前に話題になった第3の完全性こと「算術的完全性」も
「証明論的意味論とモデル論的意味論を繋ぐ」と言えてしまうので
「意味論的完全性」の一種ということになってしまうけど。