英语词汇“gödel's second theorem”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

单词	gödel's second theorem
释义	Gödel's second theorem Gödel's second theorem [¦gərd·əlz ‚sek·ənd ′thir·əm] (mathematics) The theorem that any formal arithmetical system is incomplete in the sense that, if it is consistent, it cannot prove its own consistency.
随便看	harpsicord harp snail harp snails harps of god harpss harpswell heritage land trust harpulla harpullia harpullia cupanioides harpullia pendula harpv harpvss harpy harpy bat harpy eagle harpy eagles harpy fly harpy (greek mythology) harpyia harpyiai harpylike harpy (zoology) harq harquebus harquebuse

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

Gödel's second theorem