INCOMPLETENESS THEOREM


Meaning of INCOMPLETENESS THEOREM in English

■ 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.

Concise Oxford English vocab.      Сжатый оксфордский словарь английского языка.