Advertisement

Advertisement

Gödel's incompleteness theorem

noun

, Logic, Mathematics.
  1. the theorem that states that in a formal logical system incorporating the properties of the natural numbers, there exists at least one formula that can be neither proved nor disproved within the system.
  2. the corollary that the consistency of such a system cannot be proved within the system.


Discover More

Word History and Origins

Origin of Gödel's incompleteness theorem1

After K. Gödel ( def ), who formulated it

Advertisement

Advertisement

Advertisement

Advertisement