incompletenesse theorem
/ˌɪnkəmˈpliːtnɪs/(亦作Gödel's incompleteness theorem)
noun
- Logic the theorem that in any sufficiently powerful, logically consistent formulation of logic or mathematics there must be true formulas which are neither provable nor disprovable. The theorem entails the corollary that the consistency of a logical system cannot be proved within that system.【逻】不完全定理。