【摘要】 借澄清对哥德尔不完全性定理若干误解的机会,以直观与简明的方式阐述哥德尔不完全定理的内容、意义及哥德尔的相关工作。哥德尔不完全性定理包括两个内容:第一,一个不弱于初等数论的形式系统,如果一致,则不完全;第二,这样的形式系统如果一致,则这种一致性在系统内不可证。更多还原

【Abstract】 With the chance to clarify some misunderstandings of the Godel’s Incompleteness Theorem,this paper attempts to explain the theorem in a compendious way so as to let general readers follow.The author holds that two main contents are included in the Godel’s Incompleteness Theorem.更多还原