| 释义 | 
		WordReference Random House Unabridged Dictionary of American English © 2024Gö′del's incomplete′ness the′orem, [Logic, Math.]- Mathematicsthe 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.
 - Mathematicsthe corollary that the consistency of such a system cannot be proved within the system.
 
 -  after K. Gödel, who formulated it
 
     |