Gödel's incompleteness theorem
English
Proper noun
Gödel's incompleteness theorem (plural Gödel's incompleteness theorems)
- One of two theorems in mathematical logic that demonstrate the inherent limitations of every formal axiomatic system containing basic arithmetic.
Translations
theorem
|