普通の1階論理なら完全性は成り立つよ。
普遍的にね。