Completeness: a proof that all true mathematical statements can be proved in the formalism.
Комплектность: доказательство того, что все истинные математические утверждения могут быть формально доказаны.