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

 

单词 gödel's incompleteness theorem
释义

WordReference Random House Unabridged Dictionary of American English © 2024
del's incompleteness the′orem, [Logic, Math.]
  1. Mathematicsthe theorem that states that in a formal logical system incorporating the properties of the natural numbers, there exists at least one formula that can be neither proved nor disproved within the system.
  2. Mathematicsthe corollary that the consistency of such a system cannot be proved within the system.
  • after K. del, who formulated it

随便看

 

英语词典包含188688条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2024/11/10 12:35:02