完全性は統語論的完全性の事だと一応言えるでしょ。
>自然数を含む形式体系は、不完全性定理により、完全ではない。
これも「無矛盾ならば」が抜けているとか言えば言えるけど、
そんなことで叩くのはちょっと本質的ではない気がする。