元数学之一瞥——读哥德尔之二

元数学之一瞥——读哥德尔之二

有朋自远方来，不亦乐乎。这个世界到处都充满虚伪与荒唐，所谓的仁人志士台面上的慷慨激昂，豪情万丈，好像就是在印证这种虚伪与荒唐似的。但有朋友在，这个世界就还有一点温馨。我还是和远方来的好友看看风景，聊聊往事，把那些无知与疏狂当作蛛丝一样地抹去吧。大把大把下视这类无聊的东西在，有纯真的友情，也有超越尘世的思考，还有许许多多的慧觉慧智与慧悟，在给人生带来另一番期待和希望。
从依山而建，几重山门的南华寺大门走出来，很快，通向韶关火车站的公交车到了。我们依依惜别，JM夫妇慢步登上汽车，汽车缓缓起步，他们的身影随车渐渐远去。我的眼眶似乎自然地有点湿润，进而视线有点模糊起来。原定两天的南华游，缩为半天，真还有些遗憾，却甘苦各自知，心境亦坦然。碌碌人生，相逢总是短暂，独处才是平常。我该把这份依恋，对于这份友情的依恋藏于心底，回到暂且中断的哥德尔理解上来。

一、哥德尔论文中的用词：“元数学的”（metamathematical）

哥德尔的论文预设了1920年代的一些元数学知识，在他的不可判定性定理的著作中，多次使用了“元数学的”（metamathematical）这个概念。该论文的第一部分，哥德尔就有以下的一段论述：

从形式的角度看，证明，它除了是一个公式（带有某些特指的性质）的有限系列之外，什么都不是。而从元数学的目的来看，证明则天然地就是非物质的，这些天然的非物质，是那些作为基本符号对象的东西，我们用自然数来代表这些非物质的符号。因此，一个公式就是自然数的一个有限系列，一个特指的证明模式就是一个自然数有限系列的有限系列。元数学的概念和命题因此也就成为有关自然数或者它们的系列的概念和命题，并且，由此就至少在系统PM本身的符号中，它们是部分可表达的。
（哥德尔《论数学原理及相关系统形式上不可判定命题》英文版第1节，第37页）

上述哥德尔原文英译本的引文，两次用到“元数学”概念，那么，这个元数学是个什么样的数学呢？本篇将给出简短的一瞥。
继戴德金、皮亚诺、还有弗雷格和皮尔斯等人（Frege and Peano）的工作之后，怀特海（Whitehead）和罗素（Russell）的《数学原理》（1910-13）一书，