| 单词 | gödel's theorem |
| 释义 | > as lemmasGödel's theorem Gödel's theorem n. (also Gödel theorem) the demonstration that in any system of axioms there must be formulas which are true but neither provable nor disprovable within the system, thus making mathematics essentially incomplete; (also) the corollary that the consistency of such a system cannot be proved within that system; also called incompleteness theorem (see incompleteness n. b).extracted from Gödeln.< as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。