確か Hilbert-style の一階述語論理の定式化には本質的に違うものが二通りあって、
片方では A が閉でなければならないがもう一方では無条件に演繹定理がいえる。
この辺で話がかみ合ってない部分があるような気がちょっとする。