>>318
>述語論理の完全性定理ではこう書かれています
>「述語論理で証明できる命題は、述語論理の任意のモデルで真である命題、そのような命題に限る」
「」の内容は健全性だけどね。完全性はその逆。