- Gödel's incompleteness theorem
- Undecidable theories
- Completeness theorem
- Incompleteness theorems
- Logic, Symbolic and mathematical
- Number theory
- Decidability (Mathematical logic)
- found: Random House dict. (Gödel's incompleteness theorem)
- 1986-02-11: new
- 1997-11-18: revised
The LC Linked Data Service welcomes any suggestions you might have about terminology used for a given heading or concept.
Would you like to suggest a change to this heading?
Please provide your name, email, and your suggestion so that we can begin assessing any terminology changes.
Fields denoted with an asterisk (*) are required.