■ noun Logic the theorem, proposed by the mathematician Kurt Gödel, that in any sufficiently powerful, logically consistent formulation of logic or mathematics there must be true formulas which are neither provable nor disprovable.
INCOMPLETENESS THEOREM
Meaning of INCOMPLETENESS THEOREM in English
Concise Oxford English vocab. Сжатый оксфордский словарь английского языка. 2004