Advertisement
Advertisement
Gödel's incompleteness theorem
noun
, Logic, Mathematics.
- 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.
- 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
Browse