思维方式5拓展内容：哥德尔不完备定理的缘起与证明

本期维生素 E 播客是思维方式系列的拓展内容，主要介绍了哥德尔不完备定理的源起和证明思路。首先回顾了自然数的定义和皮亚诺算术公理，以及形式逻辑和 PM 系统。然后引出希尔伯特的问题，并解释了哥德尔不完备定理的内容，即任何相容的形式系统，只要蕴含皮亚诺算术公理，就可以在其中构造体系内不能证明的真命题。接着，详细讲解了哥德尔如何通过构造命题 P，并利用哥德尔数将数理逻辑与数字系统联系起来，证明了第一定理。最后，通过第一定理推导出第二定理，即任何逻辑自洽的形式系统只要蕴含皮亚诺算术公理，就不能用于证明其本身的相容性，并简单提及了哥德尔不完备定理的影响。