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

 

单词 Gödel's proof
释义 Gödel's proof /ˈɡɜːdəlz pruːf/ n.
【数,逻】哥德尔证明(形式公理体系中不用该系统以外的方法无法证明其本身的一致性)
随便看

 

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

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/2/4 12:54:11