英语词汇“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.
随便看	ping (one) pingo remnant pingos pingp ping-pang ch'iu pingpang ciou pingpang qiu pingpang qiú ping, pipe, and power ping pong ping-pong pingpong ping pong academic user group ping-pong arbiter ping-pong ball ping pong bone ping-pong bone ping-pong buffer ping pong chromatography ping pong club ping pong fracture ping-pong fracture ping pong infection ping ponging ping-ponging

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

Gödel's second theorem