第一不完全性定理证明标号分类 拆解汉译 知识背景——哥德尔原著英译拆解汉译之一

第一不完全性定理证明标号分类 拆解汉译 知识背景——哥德尔原著英译拆解汉译之一

哥德尔原著中的第一不完全性定理证明的全过程，已经艰难地旅行了一趟。不是浮光掠影，却依然处在似懂非懂之中。静坐沉思，常自叹功力甚浅，未能力透纸背，了悟哥德尔符号玄机也。
刚刚学到两个对待知识态度的英文单词。一个是know-it-all，中文翻译为无所不知，另一个是learn-it-all，中文翻译为无所不学。我们这个社会好像有不少know-it-all即无所不知的人和团体，所有人，所有团体都得听它的，因为它无所不知。好在还有一个正好与这个无所不知对应的无所不学，它恰恰是无所不知的反面。我们总有学不完的知识，我们应该用一种谦恭包容的态度对待人类的知识，用虔诚的学习态度来对待这人世间的一切存在。
无所不知图

上帝无所不知

无所不学

一个智慧的存在，谦恭的学习态度应该为第一要义。你准备去学习某种东西，除非不可抗拒的因素在给你困扰，不然，浅度漂学解惑不了，就不可不懂装懂，自以为无所不知。倒应该是提升强度，如同旅行中的普通游升华为深度游那样。在粗读哥德尔原著一轮之际，好像来了点这样的感觉，感觉非增加点深度游览，才有可能窥见哥德尔文字之奥妙，或者练出点功力，能够察知哥德尔符号之瑕疵。
于是，那计算机指令中经常用到的循环迭代，就起了一点启示作用。也许，这循环迭代产生的熟，继而生发出的灵性，能够映衬出孔老夫子的那句千古名言：温故而知新的。
由此，哥德尔原著英译本的迭代阅读就这样开始了，因为有第一轮的打底，可以先对哥德尔第一不完全性定理的证明流程，做一个概要性的描述了。

一、哥德尔第一定理证明流程分类

好几本哥德尔参考读物，都是从哥德尔定理的大背景角度来概括哥德尔证明的。我的第一着眼点没有大背景，仅在哥德尔原著本身。先对哥德尔证明第一不完全性定理给出的16个标号，给出分类的描述。然后看有不有可能，捣鼓出哥德尔证明的一个路线图。

（一）18个标号与4个分类

哥德尔证明第一不完全性定理中的16个标号，再加上标号（6）之下的（6.1），标号（8）之下的（8.1），总共18个标号。按其符号性质分类，大致可以分为以下几类：
第一类：六个定义
1.标号（1）自然数类K定义

K=｛n∈N ｜﹁ proveable(Rn(n)｝ （1）

2.标号（2）原始递归定义
这是与哥德尔形式系统P无直接联系的递归定义

一个数论函数Φ($x_1,x_2,…,x_n)被说成是根据数论函数Ψ(x1,x2,xn-1,)和μ(x1,x,…,xn+1)而递归定义的，如果对于所有的x1,x2,…,xn，k,*以下等式成立：

*Φ(0,$x_1,x_2,\dots ,,x_n$)= Ψ($x_1,x_2,\dots ,x_n$),
Φ(k+1,$x_1,x_2,\dots ,x_n$)= μ (k,Φ(k, x 1 , x 2 , … , x n x_1,x_2,\dots,x_n x