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.
英
美
- 對于數學(xué)家來(lái)說(shuō)，如果推導一個(gè)理論的定理和規則能足夠強有力地證明任何可以用理論的語(yǔ)言被表達的表達式真或假的話(huà),那么這個(gè)理論就是完整的。
