Gödel's incompleteness theorem
Jump to navigation
Jump to search
English[edit]
Proper noun[edit]
Gö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[edit]
theorem
|
See also[edit]
Further reading[edit]
- Gödel's incompleteness theorem on Wikipedia.Wikipedia