|
|
(view preamble | get metadata)
Cross-references: analysis, restrictions, number, mean, translation, strong, scope, expressions, semantics, operator, language, inconsistent, consistent, contradiction, recursive, ordinal, sort, sound, power, sufficient, complete, incomplete, function, bounded, simple, closed, sequence, variable, open, represents, predicate, similar, representable, primitive recursive function, stronger, definable, formula, Tarski's result on the undefinability of truth, obvious, theorems, contains, Russell's theory of types, type, Mathematica, propositions, arithmetic, order, Gödel numbers, arithmetical, sentences, theories, properties, Gödel numbering, proofs, logic, Incompleteness Theorems
There is 1 reference to this entry.
This is version 9 of Gödel's incompleteness theorems, born on 2003-08-12, modified 2005-03-08.
Object id is 4580, canonical name is GodelsIncompletenessTheorems.
Accessed 11292 times total.
Classification:
| AMS MSC: | 03B10 (Mathematical logic and foundations :: General logic :: Classical first-order logic) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|