首页 英汉 汉英 英英 词组 用法 例句 同义词 写作 俚语 缩写 词源 词根 法汉 德汉 日汉 俄汉 韩汉 西汉 意汉 泰汉 越汉
| 单词 | godels-proof |
| 释义 | Gödel's proof in British English (ˈɡɜːdəlz pruːf) noun mathematics, logic a proof that in a formal axiomatic system such as logic or mathematics it is impossible to prove consistency without using methods from outside the system, demonstrated by Kurt Gödel (1906–78) Definition of 'Gödel's proof' |
| 随便看 |
英语词典包含298861条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。