演繹定理を使わずに、いったいどういう証明をしたのかが謎です。
完全性定理を使う手はもちろんあるけどね。