← The Lexicon
Technical Terms
Gödel's Incompleteness Theorems
Proofs about limitations of formal mathematical systems
1appearances
Jan 2026first appeared
Jan 2026most recent
Technical Termscategory
Across the corpus (1 defined)
Defined 144th EditionW04 · Jan 25, 2026