| 单词 | Gödel's theorem |
| 释义 | Gödel's theorem /gûˈdəlz thēˈə-rəm/nounThe theorem first demonstrated by the mathematician Kurt Gödel in 1931, that in logic and mathematics there must be true statements that cannot be proved or disproved within the system, and also that there can be no proof of the consistency of such a system from within itself |
| 随便看 |
英语词典包含305067条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。