哥德尔命题6、背景知识和ω一致性观念——哥德尔读后之十七021-08-09

哥德尔命题6、背景知识和ω一致性观念——哥德尔读后之十七

这一篇读后，间隔的时间有点长。炎热的气候，还有继续在捣乱的新冠疫情，还有顶着疫情在东京召开的奥运会，全都在耗散你的效率。6月的广州疫情，让广州紧张了一个多月。刚刚缓过气来可以到处走走了，北京的一场大暴雨，无情打断了你预计的行程。真个是：
广州疫情北京雨
游兴萌生天无情。

紧接着，郑州又摊上事了，更为无情的大水，让好多人就那么离开了这个折腾不休的世界。一年多来，让人爽心的事少，让人纠结的事多。郑州的事情只过了几天，当你再盘算出去走走的时候，新冠疫情又从南京传出来了，好像比广州那一次更为来势凶猛，刹那间星点撒布各省。这次可好，基本上，你是哪里也不用折腾，乖乖呆在家里好了。看着那张近期的疫情图，我仿佛就回到了去年湖北疫情的那个时候。
疫情地图

静悄悄的南京禄口机场

好在这个世界还是留下了一些温馨活力的空间，东京奥运会在空场之下，诸多项目都让人感奋。人的能力虽然不能盖天，但生命的活力在运动这个领域，真还让人在无奈之中看到许多希望。此次奥运有许多让人惊异感叹之事，我尤为感叹的是奥地利那位自行车手，竟然可以不用教练，不用团队，不以专业运动员身份来获得她所参加的那个项目的冠军。这个奥运奇闻，大概在说明个人精神和团队精神，在一些情况下是后者先于前者，在另一些情况下则是前者先于后者的。
奥运照片

还好在这个世界还留下许多思考学习的空间，这会让你留下文字的记忆。哥德尔的原著读到命题六这里，卡住这么长时间，终于有了点思路，在命题六之前，对那些背景性知识做一点回顾，然后把证明命题六的另一个条件ω一致性观念做个梳理，应该可以构成一段文字，于是就有了这篇博文878。

一、哥德尔两个不完全性定理的基础性背景知识

哥德尔的原著读到命题6（VI）这里，进入到原著的核心部分，也就是命题6和它的证明过程。这个命题6及其证明，称为论文核心，乃是因为这个命题6，就是现代逻辑和现代数学史上的两个著名定理中的第一个定理。即命题6所表述的“哥德尔第一不完全性定理”。其二则是原著末尾的命题11（XI）所表述，同样著名的“哥德尔第二不完全性定理“”。用数学家克林的论述：这两条定理在逻辑和数学领域受到最为广泛的注意，并且影响到元数学的整个规划及其哲学（克林《元数学导论》第224页）。
本篇仅讨论命题6，命题11且留待续篇。但这两个著名定理具有同样的数学与逻辑背