| LC control no. | sh 85055601 |
|---|---|
| Topical heading | Gödel's theorem |
| Variant(s) | Gödel's incompleteness theorem Undecidable theories |
| See also | Arithmetic--Foundations Completeness theorem Incompleteness theorems Logic, Symbolic and mathematical Number theory Decidability (Mathematical logic) |
| Found in | Random House dict. (Gödel's incompleteness theorem) |
 |  |  |