English Explanatory Dictionary

Gödel's incompleteness theorem

English dictionary entry

Meanings

name
  1. Either of the two theorems in mathematical logic that demonstrate the inherent limitations of every formal axiomatic system containing basic arithmetic.

Word forms

Gödel's incompleteness theorem Gödel's incompleteness theorems

Related words

Rosser's trick
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on G Russian dictionary Dahl dictionary