请输入您要查询的英文单词:

 

单词 incompletenesse theorem
释义

incompletenesse theorem

/ˌɪnkəmˈpliːtnɪs/
(亦作Gödel's incompleteness theorem)
noun
Logic the theorem that in any sufficiently powerful, logically consistent formulation of logic or mathematics there must be true formulas which are neither provable nor disprovable. The theorem entails the corollary that the consistency of a logical system cannot be proved within that system.
【逻】不完全定理。
随便看

 

英汉双解词典包含131075条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/5/12 7:07:11