| 词语 | 哥德尔定理 |
| 释义 | [Godel's theorem] 数学基础定律。20世纪数学最重要的发现之一，说明不可能定义一个完整的、也是一致（不会造成矛盾）的公理系统。任何强大到足以产生有意义陈述的正式系统（例如计算机程序或一组数学规则或公理），能够产生意义为真的、但不能在系统内证明或衍生的陈述。其结果是数学无法处于完全严格精确的基础上。此定理以哥德尔命名，他在1931年发表证明，立刻被推演到哲学（特别是逻辑学）与其他领域。原理的旁支还在持续争论中。 |
| 随便看 |
汉语词典收录了463404条汉语词条，基本涵盖了全部常用汉语词语的中英文释义及用法，是汉语学习的有利工具。