完全性
形式論理体系が「恒真である命題が必ず証明できる」という性質を持つこと