incompleteness theorem
Concise Oxford English Dictionary © 2008 Oxford University Press:
incompleteness theorem
▶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' also found in these Oxford entries:
