あ、補足すると、
一階述語論理の完全性と健全性を前提にしない立場で答えてほしい。
完全性や健全性を確かめるというコンテキストだからね。