Gödel's incompleteness theorem
English
editProper noun
editGödel's incompleteness theorem (plural Gödel's incompleteness theorems)
- (logic, mathematics) One of two theorems in mathematical logic that demonstrates the inherent limitations of every formal axiomatic system containing basic arithmetic.
Translations
edittheorem
|
See also
editFurther reading
edit- Gödel's incompleteness theorem on Wikipedia.Wikipedia