For a mathematician, a theory is complete if its axioms and rules of inference are powerful enough to prove the truth or falsity of any formula that can be expressed in the language of the theory.

• 对于数学家来说，如果推导一个理论的定理和规则能足够强有力地证明任何可以用理论的语言被表达的表达式真或假的话,那么这个理论就是完整的。