第八章

印符数论

螃蟹卡农和间接自指

对话《螃蟹卡农》中出现了三个间接自指的例子。阿基里斯和乌龟都描述他们所熟知的艺术作品——而那些作品却很偶然地恰好与他们所处的对话具有同样的结构。（你可以想象当我——对话的作者——注意到这一点的时候，该是多么惊讶！）而且，螃蟹描述了一个生物学的结构，也是具有同样的性质。当然，有人可能读了这个对话，理解了它，同时却没能注意到这对话本身也具有一个螃蟹卡农的形式。这就是只在一个层次上来理解它，而忽视了另外的层次。要想看出自指，必须即看到这个对话的内容，也看到它的形式。

在这一章里，我们将定义一个形式系统——印符数论，也就是把数论表示在印刷符号中。这个系统简称为TNT，这一方面是因为英文的“印符数论”是Typographical Number Theory，而另一方面是因为这个形式系统能释放出很强的能量。哥德尔的构造就不仅要依靠对这个形式系统中串的内容所作的描述，还要依靠对这些串的形式所作的描述。一个意想不到的回旋是：由于哥德尔所发现的奇妙的映射，串的形式能在这个形式系统自身里面描述。现在就让我们来熟识一下这个具有转圈绕弯本领的奇特系统。

我们希望在TNT中都能表示些什么

我们先列举一些数论里典型的句子，然后想法找一集基本的概念，使所有那些句子都可以用这些概念重新叙述出来。下一步再把这些概念一个一个地赋予符号。顺便说明，我们从一开始就得清楚，“数论”这个术语仅仅只涉及正整数和零（以及这样的整数的集合）的性质。这些数被称为自然数。负数在这个理论中没有位置。所以，当用到“数”这个词时，它仅意味着自然数。下面这一点对读者来说是很重要的——极其重要的：在你心里始终要区别开我们的形式系统（TNT），和那个比较起来规定得不是那么明确，然而却是令人感到舒适的古老的数学分支，即数论本身。后者我将称之为“N”。

N——即数论——中的一些典型的句子是：

⑴．5是素数。

⑵．2不是平方数。

⑶．1729是两个立方数的和。

⑷．没有两个正立方数的和本身又是一个立方数。

⑸．存在有无穷多个素数。

⑹．6是偶数。

现在看起来，似乎对每一个诸如“是素数”或“是立方数”或“正的”这样的概念，我们都需要有一个符号——但是这些概念其实并非最基本的。例如，素数性是与一个数所具有的因子有关的，而这些因子又与乘法有关。立方性同样要通过乘法来定义。那么，就让我们来重新叙述一下这些句子，这回用那些看起来更为初等的概念。

⑴'．不存在这样的数a和b：它们都大于1，而且5等于a乘b。

⑵'．不存在一个数b，使得b乘以b等于2。

⑶'．存在数b和c，使得：b乘以b乘以b，加上c乘以c乘以c，等于1729。

⑷'．对任何大于0的数b和c，不存在数a，使得a乘以a乘以a等于b乘以b乘以b加上c乘以c乘以c。

⑸'．对每个数a，存在一个大于a的数b，具有这样的性质：不存在大于1的数c和d，使得b等于c乘以d。

⑹'．存在一个数e，使得2乘以e等于6。

这种分析已经使我们大大接近了得到数论语言的基本成分。很清楚，有少数短语反复地出现：

对任何数b

存在一个数b，使得……

大于等于乘以加上

0, 1, 2, 3……

这些短语的绝大部分都将被赋予单个的符号。一个例外是“大于”，它还能再进一步归约。事实上，句子“a大于b”可以变成

存在一个不等于0的数c，使得a等于b加上c。

数字

我们将不是对每一个自然数都赋予一个不同的符号。相反，我们将用一个非常简单、始终如一的方法，为每个自然数给出一个复合的符号——像我们在pq系统里做过的那样。下面是我们对自然数的记法：

零： 0

一： S0

二： SS0

三： SSS0

等等

符号S有一个解释——是它后面的那个东西“的后继”。因此，SS0的解释按字面上就是“零的后继的后继”。这种形式的串被称为数字。

变元和术语

显然，我们需要有一个方法来表示那些非指定的数——或者说可变的数。为此，我们将使用字母a、b、c、d、e。但就这五个是不够的。我们需要有一个无限制的供应方法，就像我们对命题演算中的原子所做的一样。我们将用一个相类似的方法去制造更多的变元：在数上面加撇。举例来说：

e

d'

c"

b"'

d""

都是变元。

从某种角度来说，用字母表的前五个字母多少是种奢侈，因为我们本可以只用a和撇号就行了。后面，我将真的不用b、c、d和e，结果将得到TNT的一种“简朴的”版本——此处所谓的“简朴”是说读懂复杂的公式变得较难了。不过当前我们还是奢侈一点。

那么，加法和乘法怎么办呢？非常简单：我们用习惯的符号“+”和“•”。然而，我们还要引进一个关于打括号的要求（我们现在正慢慢地滑入定义TNT良构串的规则中）。例如，要写“b加上c”和“b乘以c”，我们用这样的串

(b+c)

(b•c)

对这样的括号不能马虎。违反了这个约定就会产生一个不良构的公式（“公式”？我用这个术语来代替“串”，是因为习惯上是这样做的。一个公式不多不少就是TNT的一个串）。

顺带说一下，加法和乘法总是被认为是二元运算——也就是它们只把两个数联结起来，而从来不把三个或更多的数联结起来。因此，如果你希望去翻译“1加2加3”，你必须判定下面两个表达式中哪一个是你想要的：

(S0+(SS0+SSS0))

((S0+SS0)+SSS0)

下一个我们将要符号化的概念是等于。这非常简单：我们用“=”。直接把在N——非形式的数论——中所用的标准符号拿来的好处是明显的：容易读懂。而缺点则类似于对几何作形式处理时使用“点”和“线”这些词：除非一个人头脑非常清楚并仔细小心，否则他会很容易把词的普通意义与形式符号的严格受规则管辖的行为相混淆。在讨论几何时，我把形式术语写成黑体，以示日常用词与形式术语之间的区别。于是，在椭圆几何里，一个点是两个普通的点的结合体。但在这里，我们没有作这样的区分。因此需要特别小心，不要混淆一个符号与随它而来的所有联想。参考一下pq系统：像我以前说过的，“---”这个串不是3这个数，但它起着与3同构的作用，至少在加法的范围里是这样。对串SSS0可以做类似的说明。

原子与命题符号

命题演算的所有符号，除了用于构成原子的字母（P、Q和R）之外，都将在TNT中使用，并且仍然保持它们的解释。原子的角色将由这样的串来充当：当它们解释出来时，是一些关于相等的陈述，诸如S0=SS0或（S0·S0）=S0。现在，我们已经有了足够的准备来做一些从简单句子到TNT记号的翻译了：

2加3等于4：(SS0+SSS0)=SSSS0

2加2不等于3：～(SS0+SS0)=SSS0

如果1等于0，那么0等于1：＜S0=0→0=S0＞

这些串当中的第一个是原子，其余的都是复合公式。

自由变元与量词

上述所有的良构公式都具有这样的性质：它们的解释是句子，而这些句子不是为真，就是为假。但有的良构公式却不具有这个性质，比如这一个：

(b+S0)=SS0

它的解释是“b加1等于2”。由于b是未指定的，没有办法为这个陈述指派一个真值。它像一个含有代词的脱离了上下文的语句，例如“她很笨拙”。它既不真也不假，它等着读者把它放进一个上下文中去。正因为它既不真也不假，这样的公式就被称为开公式，而变元b则称为自由变元。

有一个办法能把一个开公式改变成一个闭公式，或者说句子。这个办法就是在它前面加一个量词——或者是短语“存在一个数b，使得……”，或者是短语“对任何数b”。在第一种情况下，你得到的句子是

存在一个数b，使得b加1等于2。

显然这是真的。在第二种情况下，你得到的句子是

对任何数b，b加1等于2。

显然这是假的。我们现在来为这两种量词引进符号。这些句子翻译成TNT记号就是下面这样：

∃b:(b+S0)=SS0（“∃”代表“存在”）

∀b:(b+S0)=SS0（“∀”代表“任何”或“所有的”）

一定要注意，这些陈述不再是关于未指定的数了。第一个陈述是一个存在断言，而第二个是一个全称断言。即便用c而不是b来写它们，也还是意味着同样的事情：

∃c:(c+S0)=SS0

∀c:(c+S0)=SS0

在量词管辖之下的变元称为一个量化变元。下面的两个公式说明了自由变元与量化变元之间的区别：

(b·b)=SS0 （开的）

～∃b:(b·b)=SS0 （闭的，是一个TNT的句子）

第一个公式表达了可能为某个自然数所具有的一个性质。当然，没有任何自然数具有这个性质。而这正是由第二个公式表达出来的。理解这两者之间的下列区别是很关键的：一个是带自由变元的串，它表达了一个性质，而另一个串里的变元是量化的，它表达了一个真实或虚假断言。至少带一个自由变元的公式——开公式——翻译成自然语言后就称为谓词。它是一个不带主语的句子（或者是这样的句子，它的主语是一个脱离上下文的代词）。例如，

“是一个不带主语的句子”
“会是一个反常现象”
“同时朝后和朝前跑”
“一经请求就即席演奏六声部赋格”

都是非算术的谓词。它们所表达的性质，对具体的事物来说可以具有，也可以不具有。人们当然也可以坚持“哑主语”概念，比如“某某”。一个带自由变元的串就像一个用“某某”来当作其主语的谓词。例如，

(S0+S0)=b

就像是在说“1加上1等于某某”。这是一个带变元b的谓词。它表达了数b可以具有的一个性质。如果有人用各种各样的数字去替换b，他就会得到一连串公式，其中的大部分都将表达“假理”。下面是关于开公式与句子之间的区别的另一个例子：

∀b:∀c:(b+c)=(c+b)

当然，这个公式是一个表示加法交换律的句子。相反，

∀c:(b+c)=(c+b)

却是一个开公式，因为b是自由的。它表达了未指定的数b可以具有，也可以不具有的一个性质——即，与所有的数c可交换。

翻译我们的例句

这样，我们的词汇表就全了。我们将以此来表达所有的数论语句！得有大量的实践才能掌握这些本领：如何用这种记法去表达N中复杂的陈述，以及倒过来，如何给出良构公式的意义。为此，我们还回到开始那六个例句，想法给出它们的TNT翻译。顺便说说，不要以为下面给出的翻译是唯一的——远不是如此。每一个句子都能由许多——无穷多的——方法来表达。

我们从最后的一个：“6是偶数”开始。这个例句我们用更初等的概念重述出来就成了“存在一个数e，使得2乘以e等于6”。这很容易：

∃e:(SS0·e)=SSSSSS0

注意必须有量词。仅仅像下面这样写是绝对不行的：

(SS0·e)=SSSSSS0

这个串的解释当然既不真也不假，它只是表达了数e可以具有的一个性质。

奇怪的是，因为我们知道乘法是可交换的，于是我们可以很容易地就把上式写成：

∃e:(e·SS0)=SSSSSS0

或者，知道相等是一个对称关系，我们换一下次序去写等式的两边：

∃e:SSSSSS0=(SS0·e)

现在，关于“6是偶数”的这三个翻译是完全不同的串，而且还有一件事也绝不是显然的：它们之中任何一个是否是定理，受到其它任何一个是否是定理的制约（但是--p-q---是定理这个事实，几乎一点也不依赖下面这一事实：其“等价的”串-p--q---得是个定理。因为，作为人，这种等价性是在我们的心里，所以我们几乎是自动地去想到解释，而不考虑公式的结构方面的性质）。

我们可以很快解决句子2：“2不是一个平方数”，它的翻译几乎立刻就可以写出来：

～∃b:(b·b)=SS0

然而，我们又一次发现了歧义。如果我们选用下面这种写法将如何呢？

∀b:～(b·b)=SS0

第一种写法是说，“不存在一个数b，具有这样的性质，b的平方是2”，而第二种写法是说，“对任何数b，b的平方不是2。”再一次地，在我们看来，它们在概念上是等价的——但是对TNT来说，它们是不同的串。

我们接着来看句子3：“1729是两个立方数的和”。这次的翻译要含有两个存在量词，一个跟在另一个后面，如下所示：

还有许多其它可采用的写法。颠倒量词的次序；交换等式的两边；换变元为d和e；颠倒相加的次序；以不同方式相乘；等等，等等。不过，比较起来我更喜欢下面这两种翻译：

∃b:∃c:(((SSSSSSSSSS0·

SSSSSSSSSS0)·SSSSSSSSSS0)

+((SSSSSSSSS0·SSSSSSSSS0)

·SSSSSSSSS0))

=(((b·b)·b)+((c·c)·c))

和

∃b:∃c:(((SSSSSSSSSSSS0·

SSSSSSSSSSSS0)·SSSSSSSSSSSS0)

+((S0·S0)·S0))

=(((b·b)·b)+((c·c)·c))

你看出来是为什么了吗？

这一行中的窍门

现在我们来对付与此相关的句子4：“没有两个正立方数的和本身又是一个立方数”。假设我们只是要表述“7不是两个正立方数的和”。做这件事最简单的方法是，把断定7是两个正立方数的和的公式加以否定。这很像前面那个含1729的句子，只是我们在此必须加进去这样的条件：那两个立方数是正的。对付这个问题的窍门是在变元的前面加符号S，如下所示：

∃b:∃c:SSSSSSS0

=(((Sb·Sb)·Sb)+((Sc·Sc)·Sc))

你看，我们不是用b和c做立方，而是用它们的后继，那一定是正的，因为不论b还是c，能取的最小值就是零。于是，右边就表示两个正立方数的和。附带说一下，要注意当把短语“存在有数b和c使得……”翻译出来时，并不包含代表“和”的符号“∧”。这个符号只是用来连接整个的良构串，而不是用于结合两个量词的。

现在我们已经翻译了“7是两个正立方数的和”，我们希望否定它。这只要在整个东西前边加一个弯号。（注意：虽然想要的短语是说“不存在数b和c使得……”但你不要把每个量词都否定）于是我们得到：

～∃b:∃c:SSSSSSS0

=(((Sb·Sb)·Sb)+((Sc·Sc)·Sc))

可是我们原本要断言的性质不是对7而言的，而是对所有的立方数。因此，让我们把公式中的数字SSSSSSS0换成串（（a·a）·a），它是“a的立方”的翻译：

～∃b:∃c:((a·a)·a)

=(((Sb·Sb)·Sb)+((Sc·Sc)·Sc))

目前这个阶段，我们拥有一个开公式，因为其中的a是自由的。这个公式表达了一个数a可以具有也可以不具有的一个性质——而我们的目的是要断言所有的数都具有这个性质。这很简单——只要在整个东西前面加上一个全称量词：

∀a:～∃b:∃c:((a·a)·a)

=(((Sb·Sb)·Sb)+((Sc·Sc)·Sc))

一个同样好的翻译是：

～∃a:∃b:∃c:((a·a)·a)

=(((Sb·Sb)·Sb)+((Sc·Sc)·Sc))

在简朴的TNT中，我们可以用a'来代替b，a"代替c，于是这个公式将成为：

～∃a:∃a':∃a":((a·a)·a)

=(((Sa'·Sa')·Sa')+((Sa"·Sa")·Sa"))

那么句子1：“5是素数”又怎么样呢？我们已经把它改写成了这个样子：“不存在数a和b，它们都大于1，使得5等于a乘以b”。我们可以将它稍加改变如下：“不存在数a和b，使得5等于a加上2，再乘以b加上2”。这又是一招——因为a和b被限定只能取自然数值，所以这种方法同样也是可行的。现在，“b加上2”可以翻译成(b+SS0)，但是还有一个更为简短的写法——SSb。同样，“c加上2”可以写成SSc。现在，我们的翻译非常的简洁：

～∃b:∃c:SSSSS0=(SSb·SSc)

如果没有前面的弯号，它就是断言这样的两个自然数存在：当它们分别增加2之后，其乘积等于5。带上前面的弯号，整个陈述就被否定了，结果就成了断言：5是素数。

如果我们想断言d加e加1是素数，而不说5，那么，最经济的方法是用串（d+Se）来替换代表5的那个数字：

～∃b:∃c:(d+Se)=(SSb·SSc)

又一次，得到一个开公式，它的解释是一个既不真也不假的句子，它只是一个关于两个未指定的数d和e的断言。注意，用串（d+Se）来表示的数必然是大于d的，因为已经为d加上了一个虽然是未指定的但一定是正的数值。因此，如果我们在变元e上进行存在性的量化，我们将得到一个公式来断言：

存在一个数，它大于d，并且它是素数。

∃e:～∃b:∃c:(d+Se)=(SSb·SSc)

好，我们现在剩下要做的全部事情就是要断言：不管d是什么，这个性质实际上总是有的。做这件事的方法是在变元d上进行全称性的量化：

∀d:∃e:～∃b:∃c:(d+Se)=(SSb·SSc)

这正是句子5的翻译！

翻译习题

这样，我们就完成了六个典型数论句子的翻译练习。但是，这并不一定就使你成了一个使用TNT记号的专家。还有一些技巧需要掌握。下面的六个良构公式可以检验你对TNT记法的理解。它们的意思是什么？哪些是真的（当然，是在解释之下），哪些是假的？（提示：对付这个练习的方法是逐步向左移。首先，翻译原子；其次，想出加上一个单个的量词或一个弯号会对翻译起什么作用；然后向左移，加上另一个量词或弯号；然后再向左移，再做同样的事情。）

～∀c:∃b:(SS0·b)=c

∀c:～∃b:(SS0·b)=c

∀c:∃b:～(SS0·b)=c

～∃b:∀c:(SS0·b)=c

∃b:～∀c:(SS0·b)=c

∃b:∀c:～(SS0·b)=c

第二个提示：或者它们中有四个为真两个为假，或者有四个为假两个为真。）

怎样区分真和假？

到了这个时候，值得停一下好好想一想：一个能筛选出真公式与假公式的形式系统是什么意思。这个系统要去处理所有这些串——它们在我们眼里像是陈述——它们作为一种制品只有形式，没有内容。并且这个系统要像一个筛子一样，只能通过那些带有特殊样式——“真理样式”——的制品。如果你自己已经走通了上述六个公式，并且考虑了它们的意义，从而分离了真的和假的，你将领略到这种系统必须要具有的那种精妙之处，它们能够做同样的事情——但却是印符地来做！用来区分真陈述集合与假陈述集合的界线（用TNT记法写成）绝不是笔直的；这个分界线有着许多莫测的弯曲（回想一下图18），数学家们在这里和那里描绘其走向，一直工作了好几百年。不难想象，如果有一个印符的方法，能保证把任何一个公式放到这分界线的适当的一边，那该多棒！

关于良构性的规则

有一张良构公式的形成规则表是必要的。下面就给出这张表。先要做些准备，定义数字、变元和项。这三种类型的串是良构公式的组成成分，但仅就它们本身还谈不上良构。最小的良构公式是原子；然后有一些将原子结合起来的规则。这些规则中，有许多是递归加长规则，它们把某个给定种类的东西作为输入，产生出同一种类的长一些的东西。在这张表里，我用“x”和“y”代表良构公式，而用“s”“t”以及“u”去代表其他种类的TNT串。不用说，这五个符号没有一个本身是TNT的符号。

数字：

0是一个数字。

一个前面加上了S的数字仍是一个数字。

例子：0 S0 SS0 SSS0 SSSS0 SSSSS0

变元：

a是一个变元。如果我们不限于简朴版本，那么b，c，d以及e同样也都是。

一个加了一撇的变元仍是一个变元。

例子：a b' c" d"' e""

项：

所有数字和变元都是项。

一个前面加了S的项仍是一个项。

如果s和t都是项，那么(s+t)和(s·t)也同样都是项。

例子：0 b SSa' (S0·(SS0+c)) S(Sa·(Sb·Sc))

项可以分成两类：

⑴．确定项。这些项不包含变元。

例子：0 (S0+S0) SS((SS0·SS0)+(S0·S0))

⑵．非确定项。这些项包含有变元。

例子：b Sa (b+S0) (((S0+S0)+S0)+e)

以上的规则是告诉我们如何制作良构公式的部件，下面的规则是告诉我们如何去制作完整的良构公式。

原子：

如果s和t是项，那么s=t是一个原子。

例子：S0=0 (SS0+SS0)=SSSS0 S(b+c)=((c·d)·e)

如果一个原子中含有一个变元u，那么u在它里面是自由的。所以在上面最后一个例子里有四个自由变元。

否定：

一个前面加了一个弯号的良构公式是良构的。

例子：～S0=0 ～∃b:(b+b)=S0 ～＜0=0→S0=0＞～b=S0

一个变元的量化状况（就是说变元是自由的还是量化的）在否定之下并不改变。

复合：

如果x和y是良构公式，并且没有什么变元在它们中的一个里面是自由的而在另一个里面是量化的，那么下列都是良构公式：

＜x∧y＞，＜x∨y＞，＜x→y＞。

例子：＜0=0∧～0=0＞　＜b=b∨～∃c:c=b＞　＜S0=0→∀c:～∃b:(b+b)=c＞

一个变元的量化状况在这种情况下不改变。

量化：

如果u是一个变元，x是一个良构公式，u在它里面是自由的，那么下面的串是良构公式：

∃u:x和∀u:x

例子：∀b: ∀c:～∃b:(b+b)=c～∃c:Sc=d

开公式：含有至少一个自由变元。

例子：～c=c b=b ＜∀b：b=b∧～∃c=c＞

闭公式（句子）：不含自由变元。

例子：S0=0 ～∀d:d=0 ∃c:＜∀b:b=b∧～c=c＞

这就完成了TNT良构公式的形成规则表。

再来几个翻译练习

现在，给你几个练习做，检验一下你对TNT记法的理解。试一试把下列N句子中的前四个翻译成TNT句子，把最后一个译成一个开的良构公式。

所有的自然数都等于4。

不存在等于它自身平方的自然数。

不同的自然数有不同的后继。

如果1等于0，那么每个数都是奇数。

b是2的某次方。

你可能发现最后的一个有点难对付。不过它和下一个一比，就小巫见大巫了：

b是10的某次方。

奇怪的是，这一个需要有极大的聪明机智才能翻译成我们的记法中的东西。我要告诫读者：只有在你乐意把几小时几小时的时间花在它上面——并且你还颇知道点数论的时候——再去尝试做这道题。

一个非印符系统

至此，我们结束了对TNT记法的说明，但我们还没有表明如何使TNT成为我们描述过的那个雄心勃勃的系统。这一点若是成功了，我们曾对各个符号做出的解释就会得到证实。不过，在我们做到之前，这些特定的解释并不比对pq系统的符号所作的“马-苹果-幸福”解释更有意义。

有人可能会建议按下列方法来构造TNT：（1）没有任何推理规则。它们是不必要的，因为（2）我们取数论的所有真语句（用TNT记法写成）来当作公理。多简单的处方！不幸的是，任何人一望即知这根本是空洞无物的说法。第（2）部分显然不是对串的一个印符描述。TNT的整个目的就是要确定：是否可能，以及如何印符地刻划所有对应于真理的串。

TNT的五条公理及第一组规则

于是，我们将遵循一条比上述建议困难得多的路线走下去：我们将有公理和推理规则。首先，按照约定，命题演算的全部规则都被接受进TNT里来。因此，下面这个式子将是TNT的一个定理：

＜S0=0∨～S0=0＞

推导出它的过程与推导＜P∨～P＞的过程是一样的。

在我们给出更多的规则之前，让我们先给出TNT的五条公理：

公理1：∀a:～Sa=0

公理2：∀a:(a+0)=a

公理3：∀a:∀b:(a+Sb)=S(a+b)

公理4：∀a:(a·0)=0

公理5：∀a:∀b:(a·Sb)=((a·b)+a)

（在简朴的版本中，用a'来代替b）。它们都很容易理解。公理1陈述了有关数0的一个特殊事实；公理2和3是关于加法的性质的；公理4和5是关于乘法的性质的，并且特别涉及到与加法的关系。

五条皮亚诺公设

顺便说说，公理1的解释——“零不是任何自然数的后继”——是自然数的五条著名的性质之一，这些性质是由数学家和逻辑学家朱·皮亚诺于1889年首次明确认定的。皮亚诺沿着欧几里德的路线提出他的公设，他的做法是：不去致力于把推理的原则加以形式化，而是力图给出一个自然数性质的小小的集合，从它出发，其余的每样东西都能由推理而得出。因此，皮亚诺的努力也许可以认为是“半形式化的”。皮亚诺的工作具有重要影响，所以，介绍一下皮亚诺的五条公设是会有好处的。由于“自然数”概念是一个皮亚诺设法去定义的东西，所以我们将不使用这个充满了内涵的熟悉的术语“自然数”。我们将用一个未经定义的术语“神怪”来替代它，这个术语是一个来得很新鲜的词，并且对我们来说这个词是没有内涵的。于是，皮亚诺的五条公设是在神怪上加了五条限制。另外还有两个未定义项：“怪物”与“元”，我留给你自己去想出它们是要表示通常的什么概念。五条皮亚诺公设是：

⑴．怪物是一个神怪。

⑵．每一个神怪有一个元（它也是一个神怪）。

⑶．怪物不是任何神怪的元。

⑷．不同的神怪有不同的元。

⑸．如果怪物有X，并且每个神怪都把X递送给它的元，那么所有的神怪都得到X。

在《和声小迷宫》中的那些灯的启发下，我们将把众神怪的集合命名为“造物神”。这又回到了盖奥尔格·康托尔的死对头，德国数学家和逻辑学家列奥波尔德·克罗内克的那句名言：“造物神造出了自然数，其余的一切都是人的事。”

你可能认出来了，皮亚诺的第五条公设就是数学归纳法原理——继承性论证的另一说法。皮亚诺希望他加在概念“怪物”、“神怪”以及“元”上的五条限制是如此之强，以至于如果两个不同的人在心里对这些概念形成意象，这两个意象会有完全同构的结构。举例来说，每个人的意象都会包括无穷多个不同的神怪。并且，大概每个人都会同意，没有一个神怪与它自身的“元”完全相同，或者与它的“元”的“元”完全相同，等等。

皮亚诺希望把自然数的本质纳入到他的五条公设之中。数学家们一般都承认他成功了，但是这并没有减少下面这个问题的重要性：“怎样区别关于自然数的真陈述和假陈述句？”为了回答这个问题，数学家们又转向完全形式化的系统，比如TNT。不管怎么说，你将在TNT中看到皮亚诺的影响，因为所有他的公设都以这样或那样的方式被引进到TNT里来了。

TNT中的新规则：特称和概括

现在我们来看TNT中的新规则。许多这种规则使我们能深入并改变TNT原子的内部构造。在这个意义上，它们是在和串的更“微观”的性质打交道，而不像命题演算的规则，把原子当作不可分割的单位。举例来说，我们想从第一条公理中抽出串～S0=0。为此，我们需要有一条规则使我们能去掉一个全称量词，同时，如果我们愿意，能改变剩下的串的内部构造。下面就是这么一条规则：

特称规则：假设u是一个出现在串x中的变元。如果串∀u:x是一个定理，则x也是定理，并且，对x中的u做任何替换而得到串同样也都是定理，但不论u出现在什么地方，都要用同一个项去替换。

（限制：用来替换u的项必须不包含任何在x中被量化了的变元。）

特称规则使我们能把刚才那个串从公理1中提取出来。这是一个一步的推导：

∀a:～Sa=0公理1～S0=0特称

注意，特称规则将允许某些包含自由变元的公式（即开公式）成为定理。举例来说，用特称，下列的串也能从公理1导出：

～Sa=0（公理1）

～S(c+SS0)=0（特称）

还有另一个规则，概括规则，使我们能把全称量词放回到一些定理中去——那些定理所含的变元由于以前使用了特称规则而成为自由的了。举例来说，把概括规则作用到上面的那两个串中的第二个，我们就得到：

∀c:～S(c+SS0)=0

概括正好取消了特称的作用，反过来也一样。通常，概括总是用于某些中间步骤已经以各种各样的方式对开公式作了一番变换之后。下面是这条规则的严格叙述：

概括规则：假设x是一个定理，其中的变元u是自由出现的。那么∀u:x是一个定理。

（限制：在一个幻想里面，不允许对任何自由出现在该幻想的前提中的变元作概括。）

在这两个规则上加限制的必要性很快就会清楚地表现出来。附带说一下，这个概括与第二章中提到过的欧几里德在证明素数有无穷多时所用的概括是一回事。我们已经可以看到，符号变换规则开始靠近数学家们所使用的那种推理了。

存在量词

刚才的两条规则说的是如何取走全称量词以及如何把它们放回去，下面的两条规则说的是如何处理存在量词。

互换规则：假设u是一个变元。那么串∀u:～与～∃u:在任何定理中的任何地方都是可互换的。

举个例子，让我们把这条规则应用到公理1：

∀a:～Sa=0　公理1～∃a:Sa=0　互换

附带地，你可能注意到，这两个串都是“零不是任何自然数的后继”这个句子在TNT中的完美自然的表述。所以，它们能够容易地变来变去是一件好事。

下一条规则则更为直观了。它对应于非常简单的一种推理，即我们从“2是素数”到“存在一个素数”所做的推理。这条规则的名称是自明的：

存在规则：假设一个项（可以含有变元，只要是自由的）在一个定理中出现一次或多次。那么，这个项的任何（或者是一些，或者是所有）出现都可以用一个不在定理中出现的变元来替代（替代之后当然就在这个定理中出现了），相应的存在量词则必须放在最前面。

让我们——像往常一样——对公理1来应用这条规则：

∀a:～Sa=0　公理1

1～∃b:∀a:～Sa=0　存在

你现在可以试试根据迄今所给出的规则去调拨符号，产生出定理～∀b:∃a:Sa=b。

等号规则和后继规则

我们已经为变换量词给出了规则，但到目前为止还没有一个针对符号和“S”的规则。我们现在就来纠正这一状况。以下，r、s和t都代表任意的项。

等号规则：

对称：如果r=s是一个定理，那么s=r同样也是定理。

传递：如果r=s和s=t都是定理，那么r=t也是定理。

后继规则：

加S：如果r=t是一个定理，那么Sr=St是一个定理。

去S：如果Sr=St是一个定理，那么r=t是一个定理。

这些规则能够为我们提供极其丰富的各式各样的定理。比如，下列推导就产生出一些相当基本的定理：

⑴∀a:∀b:(a+Sb)=S(a+b) 公理3

⑵∀b:(S0+Sb)=S(S0+b)特称（S0对a）

⑶(S0+S0)=S(S0+0)特称（0对b）

⑷∀a:(a+0)=a 公理2

⑸(S0+0)=S0特称（S0对a）

⑹S(S0+0)=SS0 加S

⑺（S0+S0）=SS0传递（第3、6行）

*　*　*　*　*

⑴∀a:∀b:(a·Sb)=((a·b)+a) 公理5

⑵∀b:(S0·Sb)=((S0·b)+S0)特称（S0对a）

⑶(S0·S0)=((S0·0)+S0)特称（0对b）

⑷∀a:∀b:(a+Sb)=S(a+b) 公理3

⑸∀b:((S0·0)+Sb)=S((S0·0)+b)特称（(S0·0)对a）

⑹((S0·0)+S0)=S((S0·0)+0)特称（0对b）

⑺∀a:(a+0)=a 公理2

⑻((S0·0)+0)=(S0·0)特称（(S0·0)对a）

⑼∀a:(a·0)=0 公理4

⑽(S0·0)=0特称（S0对a）

⑾((S0·0)+0)=0传递（第8、10行）

⑿S((S0·0)+0)=S0 加S

⒀((S0·0)+S0)=S0传递（第6、12行）

⒁(S0·S0)=S0传递（第3、13行）

非法的捷径

一个令人感兴趣的问题是：“怎样为串0=0做一个推导？”看起来，要走的路线显然会是先推出串∀a:a=a，然后用特称。那么，下面这个∀a:a=a的“推导”怎么样……有什么问题吗？你能把它修补好吗？

⑴∀a:(a+0)=a 公理2

⑵∀a:a=(a+0) 对称

⑶∀a:a=a　传递（第2，1行）

我用这个小小的练习来指出一个简单的事实：在变换熟悉的符号（诸如“=”）时，不要跳得太快。你必须遵循规则，而不是你关于符号的被动意义的知识。当然，后一种知识在指引一个推导该走什么路线时是极有价值的。

为什么对特称和概括要加限制

现在让我们来看为什么对特称和概括二者都有加限制的必要性。下面有两个推导，两者当中都有一个限制被违反了。看看由此产生的灾难性后果：

⑴［推入

⑵　a=0 前提

⑶　∀a:a=0概括（错了）

⑷　Sa=0 特称

⑸] 弹出

⑹＜a=0→Sa=0＞幻想规则

⑺∀a:＜a=0→Sa=0＞概括

⑻＜0=0→S0=0＞特称

⑼0=0 以前的定理

⑽S0=0 分离（第9，8行）

这是第一个灾难。另一个灾难是由于用错了特称而产生的。

⑴∀a:a=a 以前的定理

⑵Sa=Sa 特称

⑶∃b:b=Sa 存在

⑷∀a:∃b:b=Sa 概括

⑸Sa=Sa 特称（错了！）

因此，现在我们看到，为什么那些限制是必要的。

这里有一个简单的谜题：把皮亚诺的第四条公设翻译成为TNT记法（如果你还不曾这样做的话），然后把这个串当作一个定理而推导出来。

少了什么东西

现在，如果你用迄今所介绍过的TNT规则和公理四处试一会儿的话，你将发现，你可以产生出如下的定理金字塔（这是一个串的集合，所有这些串都是从同一个模子里翻铸出来的，相互之间仅有的不同是填在里边的数字分别为0、S0、SS0等等）；

(0+S0)=S0

(0+SS0)=SS0

(0+SSS0)=SSS0

(0+SSSS0)=SSSS0

事实上，这个塔中的每个定理都能从恰在它之上的那个定理中推出来，只需一两步。因此它是一种定理的“多级瀑布”，每一级触发下一级（这些定理很容易让人想起pq系统中的定理，在那里，左端和右端的短杠组是同时增长的）。

这里有一个我们能很容易地写下来的串，它概括地说出了它们作为整体时的被动意义。这个全称量化了的概述串是：

∀a:(0+a)=a

用迄今为止所给出的规则，这个串还产生不出来。你若不信，可以自己试试。

你可能会认为，用如下的规则，我们立刻就可以扭转这个局面：

（草拟的）全规则：如果在一个金字塔中的所有的串都是定理，那么，用来概述它们的全称量化的串同样也是定理。

这条规则的问题是：它不能在J方式下使用。只有从外部对系统进行考察的人，才有可能知道串的一个无穷集合全都是定理。因此这不是一条可以安放到形式系统里去的规则。

ω不完全系统与不可判定串

于是我们发现我们处于奇怪的境地：我们能印符地产生关于任何特定的数之间相加的定理，但是像上面那样的一般地表达了加法性质的串，虽然那么简单明了，却不是一个定理。你可能觉得这并不那么奇怪，因为在pq系统里我们曾恰好就处于这种情境中。但是，pq系统并没有声称它该做到什么；并且，事实上，用它的符号体系也的确无法表示加法的一般性质，更不用说证明它们了。pq系统根本没有这样的装备，我们因而也就没想过那是它的缺陷。但在这里，表示能力要远远强得多了，所以我们相应地对TNT比对pq系统有更高的期望。如果上述的串不是一个定理，那么我们就有充分的理由认为TNT是有缺陷的。事实上，有一个名字是专为带有这种类型缺陷的系统准备的——称为“ω不完全性”（所谓“ω”——“欧米伽”——来自于这样的事实：自然数的全体有时候被记作“ω”）。下面是精确的定义：

一个系统是ω不完全的，如果在一个金字塔中的所有串都是定理，而全称量化的概述串却不是一个定理。

顺带地，上述概述串的否定——

～∀a:(0+a)=a

——也不是TNT的定理。这意味着，原先的那个串在系统里是不可判定的。如果两者之一是定理，那么我们就说它是可判定的。虽然这听起来像是个神秘的术语，但一个给定的系统中的不可判定性是没有什么神秘的。它仅仅是该系统还能够扩充的一个标志。举例来说，在绝对几何学里，欧几里德的第五条公设是不可判定的。它必须作为一条特别的几何公设加进来，从而导致欧几里德几何学；或者相反，它的否定是能够加进来的，从而导致非欧几里德几何学。如果你回想一下几何学，你会记起为什么会出这种稀奇古怪的事情。这就是因为绝对几何学的四条公设没有固定住“点”和“线”这些术语的意义，从而为这些概念具有不同外延留下了余地。欧几里德几何学的点和线提供了“点”和“线”这些概念的一种外延；非欧几里德几何学的点和线则是提供另一种。然而，两千年来，使用先入为主的词“点”和“线”则使人相信那些词必须是单值的，只能有一个意义。

非欧几里德TNT

我们现在就TNT而言面临着一个类似的情况。我们曾沿用的记号使我们带上了某些成见。例如，使用符号“+”就使我们很容易地想：每个里面带有一个加号的定理都应该是在说那个已知的、熟悉的、“可感知”的、我们称为“加法”的运算的事情。因此，如果我们提出增加一个如下的“第六公理”，会让人觉得很是格格不入：

～∀a:(0+a)=a

这与我们关于加法所持的观念不相适应。但这是我们迄今为止所描述的TNT的一个可能的扩充。采用它为其第六公理所得到的系统是一个一致的系统，就是说，不会同时有两个形式为x和～x的公式都是定理。然而，当你把这条“第六公理”与前面列出来的那个定理的金字塔并置在一起时，你也许会由于那个塔和这条新的公理之间的似乎不一致而感到困惑。但是，这种不一致性不像另一种（在那里x和～x二者都是定理）那么有害。事实上，这并非一个真正的不一致，因为存在有一种解释符号的方法，使每样事情结果都是顺理成章的。

ω不一致性与不一致性不是一回事

这种不一致性的产生是由于下面两件事的对立：（1）一个由一些定理组成的金字塔，它们集合起来断言所有的自然数具有某种性质，与（2）一个单个的定理，它看上去是断言并非所有的自然数具有该性质。我们称这种不一致性为ω不一致性。一个ω不一致的系统更像一个被人们“初拒后纳的”非欧几里德几何。为了能对这些东西形成一个心智上的模型，读者得想象存在有一些“额外的”，未曾料到的数——让我们不称它们为“自然”的，而称它们为“超自然”的数——它们都不具有相应的数字。因此，有关它们的事实不能在金字塔里表示出来。（这有一点像阿基里斯对造物神的想象——是一种“超神怪”，一种比任何神怪都大的东西。这曾遭到怪物的嘲笑，但这是一个合理的想象，并可以帮助你去想象超自然数）。

这就告诉了我们：迄今所介绍的TNT的公理和规则并没有完全固定住对TNT符号的解释。在一个人的心智模型中这些符号代表什么概念，这仍然还有种种变化的余地。这种种可能的外延中的每一个，都可以进一步固定住其中的某些概念，只是以不同的方式而已。如果我们加上上面的那个“第六公理”，那么哪些符号会带上被人们所“初拒”的那种被动意义？是所有这些符号都会染上，还是它们中的一些仍然会代表我们想让它们去代表的意义？我将让读者去考虑这个问题。在第十四章里我们会碰到一个类似的问题，然后再来讨论这件事。总而言之，我们现在不沿着这个扩充走，而是继续尝试去修补TNT的ω不完全性。

最后一条规则

“全规则”的问题是：它要求知道一个无穷高的金字塔中所有的行都是定理——这对一个有穷的主体来说是要求得太多了。但是让我们假设这个塔的每一行都能够用某种模式化的方法从它的前一行推出来。这样就能用一个有穷的推理去说明在塔里的所有的串都是定理。于是，技巧仅在于去找出造成多级瀑布的那个模式，并证明那个模式本身就是一个定理。这就像是去证明每个神怪递送一个信息给它的元，正如机关里的层层上报那样。留待证明的另一件事情即为，是怪物最先引发了这个信息多级瀑布——也就是说，要确定金字塔的第一行是一个定理。这样你就知道了造物神将得到这个信息！

在我们谈过的那个特定的金字塔里有一个模式，可以从下面的推导中的4-9行获得。

⑴∀a:∀b:(a+Sb)=S(a+b) 公理3

⑵∀b:(0+Sb)=S(0+b) 特称

⑶(0+Sb)=S(0+b) 特称

⑷[ 推入

⑸(0+b)=b 前提

⑹S(0+b)=Sb 加S

⑺(0+Sb)=S(0+b) 把第3行搬入

⑻(0+Sb)=Sb 传递

⑼] 弹出

前提是(0+b)=b，结果是(0+Sb)=Sb。

金字塔的第一行也是一个定理，它直接从公理2就可以得到。现在我们所需要的全部东西就只是一个规则，它能使我们推出那个概述了整个金字塔的串本身也是个定理。这样的一条规则将是皮亚诺第五公设的形式化陈述。

为了表达这个规则，我们需要几个记号。我们用如下的记号来简写一个带自由变元a的良构公式：

X{a}

（可能还会有其它的自由变元，但那与此不相干。）另外用记号X{Sa/a}来代表该串中a的每个出现都被Sa替换后得到的结果。类似地，X{0/a}代表这个串中a的每一个出现都已被0所替换。

一个具体的例子是令X{a}代表要考察的串：(0+a)=a。于是X{Sa/a}就表示串(0+Sa)=Sa，而X{0/a}就表示(0+0)=0。（提醒：这种记号不是TNT的组成部分，只是为了我们在谈论TNT时方便而采用的。）

有了这新的记号，我们就能很精确地叙述TNT的最后一条规则了：

归纳规则：设u是一个变元，X{u}是一个u在其中自由出现的良构公式。如果∀u:＜X{u}→X{Su/u}＞以及X{0/u}二者都是定理，那么∀u:X{u}也是一个定理。

把皮亚诺第五公设纳入TNT里来的努力最多也就能做到这个地步。现在让我们用它来证明∀a:(0+a)=a的确是一个TNT定理。我们先用幻想规则从上面推导中的那个幻想里出来，得到：

⑽＜(0+b)=b→(0+Sb)=Sb＞幻想规则

⑾∀b:＜(0+b)=b→(0+Sb)-Sb＞概括

这是归纳规则要求输入的两个定理之中的一个。另一个所要求的是金字塔的第一行，这是我们已经有了的。因此，我们可以应用归纳规则，去推演我们所想要的东西：

∀b:(0+b)=b

特称和概括将允许我们把变元从b改为a，于是∀a:(0+a)=a就不再是TNT的一个不可判定串了。

一个长推导

现在我想介绍一个TNT中较长的推导，以便你能够看到这种推导是什么样的。这个推导证明了一个虽然简单，但却是很重要的数论事实。

(1)∀a:∀b:(a+Sb)=S(a+b)公理3

(2)∀b:(d+Sb)=S(d+b)特称

(3)(d+SSc)=S(d+Sc)特称

(4)∀b:(Sd+Sb)=S(Sd+b)特称(第1行)

(5)(Sd+Sc)=S(Sd+c)特称

(6)S(Sd+c)=(Sd+Sc)对称

(7)[推入

(8)　∀d:(d+Sc)=(Sd+c)前提

(9)　(d+Sc)=(Sd+c)特称

(10)　S(d+Sc)=S(Sd+c)加S

(11)　(d+SSc)=S(d+Sc)把3搬入

(12)　(d+SSc)=S(Sd+c)传递

(13)　S(Sd+c)=(Sd+Sc)把6搬入

(14)　(d+SSc)=(Sd+Sc)传递

(15)　∀d:(d+SSc)=(Sd+Sc)概括

(16)]弹出

(17)＜∀d:(d+Sc)=(Sd+c)→∀d:(d+SSc)=(Sd+Sc)幻想规则

(18)∀c:＜∀d:(d+Sc)=(Sd+c)→∀d:(d+SSc)=(Sd+Sc)概括

(19)(d+S0)=S(d+0)特称(第2行)

(20)∀a:(a+0)=a公理1

(21)(d+0)=d特称

(22)S(d+0)=Sd加S

(23)(d+S0)=Sd传递(19、22行)

(24)(Sd+0)=Sd特称(第20行)

(25)Sd=(Sd+0)对称

(26)(d+S0)=(Sd+0)传递(第23、25行)

(27)∀d:(d+S0)=(Sd+0)概括

*　*　*　*　*

(28)∀c:∀d:(d+Sc)=(Sd+c)归纳(18、27行)

〔S能够在一个加法里面前后滑来滑去。〕

*　*　*　*　*

(29)∀b:(c+Sb)=S(c+b)特称(第1行)

(30)(c+Sd)=S(c+d)特称

(31)∀b:(d+Sb)=S(d+b)特称(第1行)

(32)(d+Sc)=S(d+c)特称

(33)S(d+c)=(d+Sc)对称

(34)∀d:(d+Sc)=(Sd+c)特称(第28行)

(35)(d+Sc)=(Sd+c)特称

(36)[推入

(37)∀c:(c+d)=(d+c)前提

(38)(c+d)=(d+c)特称

(39)S(c+d)=S(d+c)加S

(40)(c+Sd)=S(c+d)把30搬入

(41)(c+Sd)=S(d+c)传递

(42)S(d+c)=(d+Sc)把33搬入

(43)(c+Sd)=(d+Sc)传递

(44)(d+Sc)=(Sd+c)把35搬入

(45)(c+Sd)=(Sd+c)传递

(46)∀c:(c+Sd)=(Sd+c)概括

(47)]弹出

(48)＜∀c:(c+d)=(d+c)→∀c:(c+Sd)=(Sd+c)＞幻想规则

(49)∀d:＜∀c:(c+d)=(d+c)→∀c:(c+Sd)=(Sd+c)＞概括

〔如果d与每个c可交换，那么Sd也能这样做〕

*　*　*　*　*

(50)(c+0)=c特称(第20行)

(51)∀a:(0+a)=a已有的定理(52)(0+c)=c特称

(53)c=(0+c)对称

(54)(c+0)=(0+c)传递(50、53行)

(55)∀c:(c+0)=(0+c)概括

〔0与每一个c可交换。〕

*　*　*　*　*

(56)∀d:∀c:(c+d)=(d+c)归纳(49、55行)〔因此，每一个d与每一个c可交换。〕

TNT中的紧张与解决

TNT证明了加法的可交换性。即便你还没有完全弄清上面这个推导的每个细节，能体会到它有着自己的自然“节拍”，像一首乐曲那样，也是很重要的。它可不只是个随意的漫步，碰巧到了我们所希望得到的那最后一行。我插进了“呼吸记号”来显示这个推导的某些“乐段”。特别是第28行，它是这个推导里的转折点，就像某种在AABB式乐曲里的中途点似的东西，在这一点上，你获得了暂时的解决，即使不是在主调上。这样的重要的中间阶段常常被称作“引理”。

很容易想象，当一个读者从这个推导的第1行开始时，并不清楚它会在哪儿结束。他每新看到一行时，都会对它的进一步走向有所感觉。这就建立了一个内部的紧张，很像在一首乐曲中由于和声的模进所引起的紧张，你知道这调性是什么，但还未解决。到了第28行时，读者的直觉得到了肯定，他有了一种暂时的满意感，同时也增强了他的信心，去向着他认为是真正的目标前进。

第49行是一个极为重要的紧张增长因素，因为它引起了“就在那里”的感觉。在那里停下会使人感到极度的不舒服！从那儿往下，事情的发展几乎都是可以预计的了。但是你不会希望一首乐曲停止在最后的解决刚开始出现的地方，让你去想象它的结尾——你希望听到那个结尾。在这里也类似，我们必须把事情进行到底。第55行是不可避免的，它建立了最后的全部紧张，它们在第56行得到了解决。

这不仅是形式推导的典型结构，也是非形式证明的典型结构。数学家对紧张的认识是和他对美的认识密切相关的，并且正是这种东西使得数学值得花力气去做。但要注意，就TNT本身而言，似乎对这些紧张没有任何反映。换句话说，TNT并没有将紧张和解决、目标和子目标、“自然性”和“被迫性”等概念形式化，正像一首乐曲并不是一本讲和声和节拍的书一样。人们能不能发明出更为奇妙的印符系统，以感知推导中的紧张与目标呢？

形式推理之别于非形式推理

我很愿意演示一下如何用TNT去推导欧几里德定理（素数有无穷多），但这大概会使这本书的长度加倍。有了前面那条定理，下一步该做的自然是去证明加法的结合律、乘法的交换律和结合律、以及乘法对加法的分配律。这些将为我们的工作提供一个强有力的基础。

按照到目前为止所描述的，TNT已经达到了“临界质量”（这个隐喻用在叫“TNT”的东西上或许有点奇怪）。它和《数学原理》的系统有同样的能力。用TNT，人们可以证明在一篇标准的关于数论的专门论文中所能找到的每一个定理。当然，没有人会主张在TNT中推导定理是做数论研究的最好方法。那种想法相当于认为要想知道1000×1000是多少，最好的方法是去画一个横竖各1000道的网格，然后再去一个一个地数里面一共有多少小方块……不是这样的。在进行了彻底形式化之后，唯一可行的道路就是放松形式化原则。否则，形式系统会过于庞大而笨重，以至于对任何实际的目的而言都是毫无用处的。所以，把TNT嵌进一个更广阔的语境中是很重要的，这个语境能容许导出新的推理规则，从而能够加速推导过程。这就需要对用来表示推理规则的语言进行形式化——也即，对元语言作形式化。这样下去可以走得相当远。然而，这样的加速技巧并不能使TNT更强一点，只不过是使它更好用一些罢了。理由很简单，我们实际上已经把数论专家所借助的每个思维模式都放进了TNT。把它嵌入愈来愈大的语境并不能扩大定理的空间，只能是使得在TNT里面——或者说在每个“新的，改进的版本”里面——进行工作时，更像是在进行传统的数论工作。

数论专家赋闲

假定你事先不知道TNT会是个不完全的系统，而期望它是完全的——就是说，每个用TNT记法可表达的真陈述都是定理。在这种情况下，你就能为数论的一切东西造一个判定过程。方法很简单：如果你想知道N中的语句X是真还是假，就把它翻成TNT句子x。于是，如果X为真，完全性就说，x是一个定理；反过来，如果非X为真，那么完全性就说，～x是一个定理。因此，x和～x二者必有一个是定理，因为不是X为真，就是非X为真。现在让我们来系统地枚举TNT的定理，就用我们曾经对WJU系统和pq系统所用过的那种方法。过不一会儿，你就一定会到达x或者～x，而不管你碰上了哪一个，它都会告诉你X和非X之中哪一个为真（弄清楚这个论证了吗？关键的一点是能在心里区分开形式系统TNT与它的非形式对应物N。一定要确实弄清这个论证）。这样，从原则上说，如果TNT是完全的，数论专家就得赋闲了：只要有足够的时间，他们领域里的任何问题都能够用纯粹机械的方法解决。现在我们知道这是不可能的。至于这究竟是该为之庆贺还是为之悲伤，就全看你的观点如何了。

希尔伯特方案

本章我们要处理的最后一个问题是：我们该不该像信赖命题演算的一致性那样信赖TNT的一致性；以及，如果我们不那么信赖TNT，是不是有可能通过证明它是一致的，来增强我们对它的信任。人们可以像那位“马虎”在论及命题演算时所做的那样，提出同样的关于TNT一致性的“显然性”的那种论述——也就是说，每条规则体现了一个我们所完全信赖的推理原则，因此，对TNT的一致性的疑问就是对我们自己头脑的清醒程度的疑问。在某种程度上，这种论证仍然是有份量的——但不像从前那么有份量了。推理规则实在是太多了，而其中有些也确实有点“不对头”。更进一步，我们怎么知道这种称为“自然数”的抽象实体在我们心里的模型实际上是一个前后一致的结构呢？说不定，我们自己的思维过程，那些我们试着用形式系统中的形式规则来把握的非形式过程，它们本身就是不一致的！这当然不是我们所期望的事情，但是，我们的思维也可能使我们误入歧途，这是越来越可以想象得到的，尤其是当面临的课题很复杂的时候——而自然数决不是什么不足道的简单课题。所以，那位“严谨”所呼吁的关于一致性的一个证明，在这种情况下就必须更为认真地对待。这倒不是我们非常怀疑TNT会是不一致的——但确是有一点儿怀疑，我们心里闪了一下怀疑的影子，而一个证明会有助于消除这种怀疑。

但是，哪些证明手段是我们愿意接受的呢？又一次，我们碰见了不断出现的那个转圈子问题。如果在一个关于我们的系统的证明中，使用那些和我们已经嵌入到系统中的东西完全一样的手段，我们能达到什么目的呢？但如果我们能论证说TNT是一致的，而用的是一个比TNT弱的推理系统，那我们就战胜了那种说我们是在转圈子的反对意见！想一想让一条很粗的绳索飞越两条船之间的办法（大约我还是个孩子的时候读到过的）：先把一支很轻的箭射过这段空间，箭的后面牵引着一条细绳。一旦用这种办法在两条船之间建立起了联结，粗绳子就能被拉过这段空间了。如果我们能用一个“轻的”系统去说明一个“重的”系统是一致的，那么我们就的确做成一些事情了。

初看起来似乎是有一根细绳子。我们的目标是证明TNT具有一个特定的印符性质（一致性），即任何时候都不会有x和～x形式的公式同时都是定理。这类似于努力去说明WU不是WJU系统的一个定理。二者都是关于符号处理系统的印符性质的陈述。认为有一条细绳的观点是基于如下假设的：在证明这样一个印符性质成立时，并不需要有关数论的事实。换句话说，如果没有用到整数的性质——或者仅仅用到了少许极为简单的性质——那么我们就达到目标了：证明了TNT的一致性，而用到的推理手段比TNT自身内部的推理模式弱。

这正是二十世纪初大卫·希尔伯特所领导的数学家和逻辑学家的一个重要学派所持的期望。他们的目标是使用一个非常受限制的推理原则的集合来证明类似于TNT的形式化数论的一致性。这被称为推理的“有穷”方法。这就是细绳。有穷方法中包括了所有的命题推理，即命题演算中所体现的那种，另外还有某些种类的数值推理，但是哥德尔的工作表明，任何用有穷方法这条细绳去牵引TNT一致性这条粗绳的努力都是注定要失败的。哥德尔证明了，要想牵引粗绳，不能用更细的绳子，细绳中没有足够结实的。少来些隐喻，我们可以说：任何一个强得足以证明TNT的一致性的系统起码与TNT本身一样强。从而，转圈子是不可避免的。

一首无的奉献①

乌龟和阿基里斯刚刚听了一个关于遗传密码起源的讲座，此时他们俩正在阿基里斯家喝茶。

阿基里斯：有件不好意思的事我得坦白，龟兄。

乌龟：什么事啊，阿基？

阿基里斯：尽管讲座的题材很吸引人，我还是打了一两次盹，不过，就是在我迷迷糊糊的时候，我仍然能隐约地听出些传到我耳朵里的词。于是从我的潜意识里浮出这样一幅奇怪的画面：“A”和“T”不是代表“腺嘌呤”（Adenine）和“胸腺嘧啶”（Thymine），而是代表你（Tortoise）和我（Achilles）的名字——在双股DNA的脊柱上有好多你和我的小副本，就像腺嘌呤和胸腺嘧啶那样。它们总是成双成对地出现，这难道不是种奇怪的、带有象征色彩的想象吗？

乌龟：呸！谁信你这一套！而且就算你的想法有道理，“C”和“G”又是什么呢？

阿基里斯：嗯，我认为“C”不是代表胞嘧啶（Cytosine），而是代表螃蟹（Crab）。我不能确定“G”代表什么，但我敢肯定可以把它看作是某种东西。不管怎么说，想象我的DNA中既有我的又有你的小副本，是挺有趣的。想想由这导致的无穷回归吧！

乌龟：看得出来，你真没有专心听讲座。

阿基里斯：不，你错了。我已经尽我所能了，我只是无法把想象同现实分开。说到底，分子生物学家探讨的世界太像一个冥府阴曹了！

乌龟：你指什么？

阿基里斯：分子生物学中充满了我弄不懂的缠绕在一起的怪圈，就比如蛋白质的折叠吧，这在DNA中是编了码的，但是这种折叠的蛋白质能转过来处理甚至破坏掉产生它们的DNA。这类怪圈总是弄得我稀里糊涂，从某种意义上讲，它们挺神秘的。

乌龟：我看它们挺吸引人。

阿基里斯：对你来说当然啦——它们正合你的胃口。但是对我来说，我有时愿意从这种分析性的思想中跳出来，作作禅想。作为一种解药，它会把我脑子里所有那些迷惑人的圈圈，以及我们今晚听到的那些复杂至极的玩艺儿全部清除掉。

乌龟：真有意思。想不到你还坐禅。

阿基里斯：我不是告诉过你我在研究禅宗吗？

乌龟：老天爷，你怎么会研究起那玩艺儿的？

阿基里斯：你知道，我一直想钻研阴阳学说——整个东方神秘主义的秘道。从《易经》到印度教，没有我不喜欢的。所以有一天我寻思着：“干嘛不研究研究禅宗？”就这么开始了。

乌龟：哦，太妙了。这么说也许有一天我也会顿悟了。

阿基里斯：喔，先别。顿悟可不是通向禅宗的第一步；若是真能分出几个步骤的话，它也是最后一步！顿悟可轮不到像你这样初入法门的人，龟兄。

乌龟：我明白了，是你误会了。我说的“顿悟”没有禅宗里说的那么大份量。我的意思只是说我也许能了悟禅宗是怎么回事。

阿基里斯：看在上帝的份上，你干嘛不早说呢？我会很高兴地把我知道的有关禅宗的情况告诉你的。说不定你会像我一样渴望做一个研究禅宗的学者呢。

乌龟：真说不定，没有不可能的事。

阿基里斯：你可以同我一起师从七祖蟹尊禅师。

乌龟：你说的都是些什么呀？

阿基里斯：要想理解这些，就得先了解一下禅宗的历史。

乌龟：那么就给我讲点儿禅宗的历史好吗？

阿基里斯：好主意。禅宗是佛教的一派，是由一个法号菩提达摩的僧人创立的。他在大约公元六世纪时从印度来到中国，这便是初祖。六祖是慧能，我们以前提到过他，你还记得吗？

乌龟：当然。我还记得你把慧能和芝诺给搞混了……

阿基里斯：啊哼。嗯，不过，不过这次我终于记准了。大约五百年之后，禅宗传到了日本，并在那里站住了脚。从那时起，禅宗便成了日本的主要宗教之一。

乌龟：七祖蟹尊是什么人？

阿基里斯：他是我的师傅，他的教义是亲得六祖真传的。他诲谕我说真如即一，具有不变异性，森罗万象及动迁变化皆是感官的幻觉。

乌龟：显然，这是芝诺的话。可他怎么又和禅宗搅到一块去了？这可怜的家伙。

阿基里斯：怎么？也许我……说实话，我也不知道这到底是怎么回事。我还是接着讲我师傅的教诲吧。师傅说禅宗信徒要寻求顿悟——就是一种“无我”状态。在这种状态下，人不再念及世界——人只是存在着。他不可以“执”于任何客体、思想或人——这即是说，他不能坚信或依赖任何定物——甚至包括这种无执的哲学本身。

乌龟：嗯……这么说禅宗里有些我会喜欢的东西。

阿基里斯：我预感到你会变得执于此道的！

乌龟：不过，请告诉我：既然禅宗是反理性的，对它进行理性的思考和缜密的研究还有意义吗？

阿基里斯：这问题是有点麻烦。不过我想我最终还是找到了答案。在我看来，你可以通过你所知道的任何途径来开展对禅宗的研究——即使这种途径跟禅宗是完全对立的。在你研究的时候，你会逐渐变得偏离了那条途径。你越是偏离那条途径，你就越是接近禅宗。

乌龟：噢，我现在开始明白了。

阿基里斯：我个人最喜欢的通往禅宗的途径是借助那些简洁、奇异、引人入胜的禅宗寓言，这种寓言被称作“公案”。

乌龟：什么是公案？

阿基里斯：公案是有关禅宗师徒的故事。有时它像个谜语，也有时像逸事，还有时什么也不像。

乌龟：听起来怪有意思的。你是不是说阅读和欣赏公案就是在修行禅宗？

阿基里斯：我怀疑这种说法。不过，依我之见，要切近禅宗，乐闻公案不知倦，胜读禅宗万卷书。那些讨论禅宗的专著满篇充斥着哲学行话，真没劲。

乌龟：我很想听一两个公案。

阿基里斯：我也很愿意讲给你听。也许我应该从那个最著名的讲起。许多世纪以前，有个叫赵州的禅师，活到了119岁。

乌龟：才是个小伙子嘛！

阿基里斯：按你的标准当然是小伙子啦。有天赵州和一僧同站在寺里，恰有只狗踅过，那僧便问赵州：“狗子还有佛性也无？”

乌龟：先不管这话是什么意思，告诉我赵州是怎么回答的？

阿基里斯：“无！”

乌龟：“无”？“无”是什么？这跟狗有什么关系？跟“佛性”有什么关系？答案呢？

阿基里斯：哦，“无”就是赵州的答案。赵州回答“无”，不是说“狗无佛性”。用现代的话说，他是想让那个和尚知道：只有不问这种问题才能知道问题的答案。

乌龟：赵州是在“废问”这个问题。

阿基里斯：正是这样！

乌龟：“无”听起来像是个万能的东西。有时我也愿意废问一两个问题。我想我已经开始得禅宗的“三昧”了。你还知道些别的公案吗，阿基？我还想再听一些。

阿基里斯：愿意效劳。我可以给你讲讲两个连在一起的公案，只是……

乌龟：只是什么？

阿基里斯：唔，有个问题。这是两个流传很广的公案，不过我的师傅提醒我说这两个当中只有一个是正宗的。可他也不知道哪个是正宗的，哪个是冒牌的。

乌龟：太妙了！干嘛不把两个都告诉我，这样一来我们就可以按自己的想法不受限制地思考思考！

阿基里斯：行啊。那两个公案中有一个是这样的：

马祖因一僧问：“如何是佛？”

祖云：“即心是佛。”

乌龟：嗯……“即心是佛”？有时我真不明白这些禅宗信徒们想说什么。

阿基里斯：那么你也许更喜欢另一个公案。

乌龟：那个怎么说？

阿基里斯：是这样：

马祖因一僧问：“如何是佛？”

祖云：“即心非佛。”

乌龟：乖乖！要是我的壳是绿的又不是绿的！我喜欢这类东西！

阿基里斯：龟兄——你不应该只是“喜欢”公案。

乌龟：那么好吧——我不喜欢它。

阿基里斯：这样好点儿。正像我刚说过的，我师傅认为这两个里只有一个是正宗的。

乌龟：我想象不出究竟是什么叫他这么想。反正我认为这完全都是书生之见，因为根本无法知道一个公案是正宗的还是冒牌的。

阿基里斯：啊，那你可错了。我师傅教给过我怎样去做。

乌龟：是吗？教给过你判定过程吗？我很想听听呢。

阿基里斯：程序极复杂，它包括两个步骤。首先你必须把有关的公案翻译成一个串，并把它折叠成三维的结构。

乌龟：这可够奇的。第二步呢？

阿基里斯：哦，这就容易了——你该做的只是确定一下该串是否具有佛性。要是有，则该公案为正宗——要是没有，该公案就是个冒牌货。

图45．清真寺

艾舍尔作（黑白粉笔画，1935）

乌龟：嗯……听来好像你所做的只是把对一个判定过程的需求转换到了另一个领域。现在你所需要的是一个判定佛性的过程。下一个呢？说到底，要是你甚至不能说出一只狗是否有佛性，你又怎么能判定每个可能的折叠串是否有佛性呢？

阿基里斯：呃，我师傅跟我解释说，这种领域转换是有用的。它有些像视点的转换。有时某些事情从一种角度看很复杂，而从另一个角度看却很简单。他以果园为例：从一个角度看，你看不出什么秩序，可是从某些特定的角度，你会发现优美的规律性。通过变换你的观察方式，你就把同一信息重新编排了。

乌龟：我明白了。这么说也许一个公案的正宗性是深藏不露的，而一旦你把它翻译成一个串，它就会以某种方式浮到表层来，是吗？

阿基里斯：这就是我师傅的发现。

乌龟：那我倒很愿意学学这种技巧。不过请先告诉我：你如何把一个公案（一种词语序列）变成一个折起的串（一种三维的东西）呢？它们的性质可完全不同呀。

阿基里斯：这是禅宗里我所了解到的最神秘的事。它分为两个步骤：“转录”和“翻译”。转录一个公案包括用一种拼音写出该公案，这种拼音只包含四种几何符号。该公案的这种拼音翻译形式被称为信使。

乌龟：那些几何符号是什么样儿的？

阿基里斯：它们是由一些六角形和五角形组成的。就像这样（拿起手边的一块餐巾，给乌龟画出下面四种图形）：

乌龟：它们看上去挺神秘的。

阿基里斯：只是对没入道的人才显得神秘。一旦你把信使做好之后，你就用手揉好一块口香核糖，然后——

乌龟：口香核糖？是一种特殊的口香糖吗？

阿基里斯：不完全是，折起的串是靠它来保持其形状的。

乌龟：这种核糖是什么做的？

阿基里斯：不清楚，不过它有点像某种胶质的东西，很好用。不管怎么说，你手里一旦有了口香核糖，就可以把信使里的符号序列翻译成某种折叠好的串，就这么简单。

乌龟：慢点儿，别太快了！这些事你怎么做？

阿基里斯：串最初完全是直的，你先从一头开始，按照信使里的几何符号把它折叠成各种形状。

乌龟：每一种几何符号都代表了各不相同的串的折叠方式，是吗？

阿基里斯：不是分别代表。你每次得用三种，而不是一种。你先从串的一头开始，同时也从信使的一头开始。怎样折叠该串的第一寸是由最初三个几何符号决定的。接着的三个符号会告诉你如何折叠串的下一寸。就这样你顺着串同时也顺着信使，一寸寸地把串折叠成一个个小节，直到你用完信使为止。要是你能正确地使用口香核糖，串会保持住它的折叠形状。因此，最后结果是你把该公案翻译成为一个串。

乌龟：过程倒挺漂亮，你用这种办法肯定会得到些奇妙的串。

阿基里斯：那是当然啦。那些长点的公案会被翻译成各种古里古怪的形状。

乌龟：可以想象。不过，为了把信使翻译成串，你必须知道信使中的每三个几何符号代表哪一类折叠。这你怎么知道呢？你有一本字典吗？

阿基里斯：有——一本列有“几何编码”的伟大的书，要是你没有这么一本书，你当然无法把公案翻译成串。

乌龟：当然没办法。这种几何编码是谁搞出来的？

阿基里斯：是由一位名叫戴懋的古人搞出来的。我的师傅说他是唯一一个达到“元顿悟”的人。

乌龟：鼋顿悟？听起来更像一种我能获得的顿悟。可他是个人啊，怎么能达到乌龟顿悟？

阿基里斯：你听岔了，龟兄，我说的是元顿悟，不是鼋顿悟。你还不可能顿悟呢。要是咱们俩之间非得有一个达到顿悟的话，那也只能是“顿吾”，你甚至连顿悟的第一个阶段还没达到呢，更别说——

乌龟：谁知道，阿基。也许那些了解顿悟三昧的人会返归于顿悟前的状态。我总是认为“顿悟两次即是没顿悟”。不过，还是让我们回到玳瑁——唔，我是说，戴懋上来吧。

阿基里斯：除了知道他还发明了禅宗串技艺外，我们几乎对他一无所知。

乌龟：发明了什么？

阿基里斯：发明了凭借它可以判定佛性的一种技艺。我会跟你讲的。

乌龟：我会着迷的。对我这么个刚入法门的人来说，要知道的东西太多了！

阿基里斯：据说有一个公案专门讲禅宗串技艺是怎么来的。但不幸的是，这一切早已随着时间的流逝而遗失掉了，无疑是永远遗失了。这也倒好，要不然准会有些盗用这位大师之名的模仿者，各行其是地仿造它。

乌龟：可是，如果所有禅众都效仿那个最顿悟的禅师——戴懋，这不是件好事吗？

阿基里斯：我来给你讲一个关于模仿者的公案吧。

俱胝和尚，凡有诘问，惟举一指。后有童子，因外人问：“和尚说何法要？”童子亦竖指头。胝闻，遂以刃断其指，童子负痛号哭而去。胝复召之，童子回首，胝却竖起指头，童子忽然领悟。

乌龟：嘿，太有趣了！刚才我以为禅宗就是赵州和他的那些小把戏，现在我发现倶胝也挺可爱。他看来很有点幽默感。

阿基里斯：这个公案很严肃。我不知道你怎么会觉得它幽默。

乌龟：也许正是因为这种幽默才使得禅宗富于教益。我想如果你十分严肃地看待这些故事，那你既会有所得也会有所失。

阿基里斯：也许对你的这种乌龟禅来说有道理。

乌龟：你能回答我一个问题吗？就一个。我想知道菩提达摩为什么从印度来到中国？

阿基里斯：哦！我可以告诉你赵州被问及这一问题时怎么说的吗？

乌龟：请吧。

阿基里斯：他回答说：“庭前柏树子。”

乌龟：挺合情合理，我也会这么说。只是把它用来回答一个与此不同的问题，也就是说，用来回答：“烈日当空的时候，到哪儿去找个荫凉地儿？”

阿基里斯：你还不知道，你已经无意中触到了禅宗的一个最基本的问题。这个问句听起来平淡无奇，实际上却是在问：“禅宗的基本原理是什么？”

乌龟：太伟大了，我一点也没想到禅宗的核心目的就是要找个荫凉地儿。

阿基里斯：噢，不——你完全误解了我的意思。我指的不是那个问题。我是指你的那个菩提达摩为何从印度来到中国的问题。

乌龟：我明白了。嗯，没想到我已经涉及到这么深的领域了。不过还是让我们回到这个奇特的映射上来吧。我已经了解到任何公案都可以照你讲的方法转换成某种折叠的串。那么，把这个过程倒过来会怎么样？折叠的串能够用这种方法被释读为一个公案吗？

阿基里斯：嗯，在某种意义上可以。不过……

乌龟：怎么啦？

阿基里斯：你最好不要把它倒过来。这会违背禅宗串的中心法则，你瞧，这种法则是这样的（拿起一块餐巾往上画）：

公案　⇒　信使　⇒　折叠的串

转录翻译

你不能逆着箭头的方向做——尤其是第二个箭头。

乌龟：告诉我，法则还有佛性也无？我应该废问这个问题，是吗？

阿基里斯：你废问这个问题，我很高兴。但是——我想向你分享一个秘密。你保证不对任何人讲吗？

乌龟：以龟格担保。

阿基里斯：那好吧。有一次，我真的逆箭头了。我觉得我得出了一种不合教规但却激动人心的结果。

乌龟：嗬，阿基！想不到你居然还会做出这么不虔诚的事来。

阿基里斯：我以前从没有向别人坦白过——甚至包括蟹尊。

乌龟：那么告诉我，你逆着中心法则中的箭头做发生什么事了？是不是说你从一个串开始，最后得出一个公案？

阿基里斯：有时是这样——可是还出现了些更古怪的东西呢。

乌龟：比产生一个公案还古怪吗？

阿基里斯：对……当你倒译和倒录时，你能得出某种东西，不过，并不总是公案。某些串用这种方式大声读出时毫无意义。

乌龟：毫无意义？这不正是公案的别名吗？

阿基里斯：你显然还不具备真正的禅宗精神。

乌龟：至少你总还得到了些故事吧？

阿基里斯：并不总是——有时你得到些毫无意义的音节，又有时你得到些不合语法的句子。不过偶尔也能得到类似公案的东西。

乌龟：只是类似吗？

阿基里斯：嗯，你知道，它也许是冒牌的。

乌龟：哦，那当然。

阿基里斯：我把这些能得出近乎公案的东西的串称作“良构”的串。

乌龟：可你干嘛不告诉我那个使你能区分正宗公案和冒牌公案的判定过程？

阿基里斯：我正要讲呢。对一个公案（或非公案），首先把它翻译成三维的串。剩下的事就只是确定该串是否具有佛性。

乌龟：可是怎么确定呢？

阿基里斯：嗯，我的师傅说戴懋就行，他只要对一个串瞥上一眼，就能确定它是否具有佛性。

乌龟：可是如果你还没有达到元顿悟的境界怎么办呢？没有别的办法来判断一个串是否具有佛性吗？

阿基里斯：有的。这也正是禅宗串技艺的用武之地。用这种技艺可以做出无数个串，所有这些串都具有佛性。

乌龟：很有意思！是不是还有一种与此对应的方法用来做出不具有佛性的串？

阿基里斯：你为什么要做出不具佛性的串呢？

乌龟：哦，我只是觉得它也许有用。

阿基里斯：你这人真怪，想不到，你对不具佛性的东西比对具佛性的东西还感兴趣！

乌龟：我不是还没顿悟嘛！讲下去吧，告诉我怎样做出一个具有佛性的串。

阿基里斯：嗯，开始时，你得先把一个串挂在你的双手上，让它处于五种合法的初始形状中的一种，就像这样……（拿起一个串，把它弄成圈状，挂在每只手伸出的一个个指头之间）。

乌龟：另外那四种合法的初始形状是什么样的？

阿基里斯：每种位置都被看做是一种挂住一个串的自明的方法，甚至连新手都能以那些姿式挂起串。而这五个串都具有佛性。

乌龟：当然。

阿基里斯：另外还有一些串处理规则，凭着它们你可以做出更复杂的串图形，特别是，你可以通过双手的一些基本动作来调整串。比方说，你可以这样叉起手指——也可以这样伸开——还可以这样绞起。每一次操作都会使挂在你双手上的串彻底改变形状。

乌龟：嘿，摆弄这些串的办法看上去就像玩挑绷子游戏一样！

阿基里斯：没错儿。你现在好好看着它们，这些规则中有一些可以使串更复杂，有一些会把它们简化，但是不管你想得到哪种结果，只要你遵守串的处理规则，你做出的每个串就都具有佛性。

乌龟：真是妙极了。那么，隐藏在你刚做成的那个串中的公案怎么样啦？它是正宗的吗？

阿基里斯：嗯，据我所知，它一定是正宗的。因为我是依照规则，先从五种自明的形状中的一种开始做的，所以这个串一定具有佛性，因而它必然对应于一个正宗的公案。

乌龟：你知道这个公案是什么吗？

阿基里斯：你想引我违反中心法则吗？嘿。你这坏家伙！

（阿基里斯皱着眉头，手里拿着编码字典，沿着那个串一寸一寸划划点点，记录着代表公案的由三个几何符号构成的奇特拼音，直到差不多记满了一块餐巾。）

好啦！

乌龟：真了不起。让我们听听它怎么说吧。

阿基里斯：行啊。

赵州因僧问婆子：“台山路向甚处去？”

婆云：“蓦直去。”

僧才行三五步，婆云：“好个师僧又恁麽去！”

后有僧举似赵州，州云：“待我去与你勘过这婆子。”

明日便去，亦如是问，婆亦如是答。

州归谓众曰：“台山婆子，我与你勘破了也。”

乌龟：嗬，他简直跟福尔摩斯一样神，联邦调查局没雇赵州真是太可惜了。告诉我——要是我也遵守禅宗串技艺中的规则，我也能做出来，对吗？

阿基里斯：对。

乌龟：我应该按照你的操作顺序做吗？

阿基里斯：不必，任何顺序都可以。

乌龟：当然啦，那样一来我就会得出一个与此不同的串，因而也会得到一个不同的公案。我是不是得按照与你一样多的步骤做呢？

阿基里斯：用不着。多少步都可以。

乌龟：好吧，那么就会有无数的具有佛性的串——因此也会有无数正宗公案了！你怎么能知道有些串不能由你的规则做出呢？

阿基里斯：哦，对啦——让我们回到缺乏佛性的事情上来吧。是这样的：你一旦知道了如何做出具有佛性的串，你也就能够做出不具有佛性的串。这是我师傅从一开始就诲谕我的。

乌龟：妙极了！怎么个做法呢？

阿基里斯：很容易，先举做缺乏佛性的串的例子……

（他拿起那个从中“拉出了”前面那个公案的串，在它的一头儿打了个弯，其状如“～”。）

这就是个无佛性的。

乌龟：很清楚。要做的只是再加上一个“弯”，是吗？你怎么知道这个新串缺乏佛性？

阿基里斯：这是因为佛性的基本性质：当两个良构串除了其中一个的一端有一个“弯”以外完全相同时，两者中只有一个具有佛性。这只是我师傅观察到的经验。

乌龟：我在考虑一件事：是否存在某些不管你以哪种顺序按照禅宗串规则都无法得到的具有佛性的串？

阿基里斯：我真不愿承认，在这一点上我自己也有点糊涂。起初，我师傅强调说，一个串中的佛性是先由五个合法的初始形状之中的某一个、然后按照允许使用的规则来展开这样一个过程所规定的。可是后来，他说起什么人的“定理”。我一直没弄懂，说不定我甚至听差了，但是不管他说了什么，总之使我怀疑用这种方法是否能囊括全部有佛性的串。据我所知，这种事是有的。不过，佛性是种很难理解的东西。

乌龟：从赵州的“无”那里我已经猜到一些了。我想……

阿基里斯：想什么？

乌龟：我是在想那两个公案——我是说那个公案和它的反公案——一个说“即心是佛”，另一个说“即心非佛”——用几何编码把它们转化成串后，会是什么样呢？

阿基里斯：我很愿意让你看看。

（他写下拼音转录式，然后从他的串袋里拿出一对串，把每个串上的每一段都按那个奇特的符号表中的一个三元组折叠起来。最后，他把弄好的串并排摆好。）

你瞧，这就是不同之处。

乌龟：它们确实非常相像。我相信它们之间只有一处不同：这一个的一端上有一个“弯”！

阿基里斯：向赵州保证，你说对了。

乌龟：哈！现在我明白你师傅为什么怀疑了。

阿基里斯：你明白了？

乌龟：根据你的那个经验之谈，这一对中至多有一个具有佛性，因此你也就知道公案中有一个必定是冒牌的。

阿基里斯：但是这并没有说出哪一个是冒牌的。我试过，我师傅也试过，用串处理规则来做出两个串，可是行不通，一个也没有做出来，真叫人沮丧，有时你甚至会怀疑……

乌龟：你是说，会怀疑两者中是否必有一个具有佛性？说不定两个都不具有佛性——两个公案都不是正宗的！

阿基里斯：我从来没有想那么远——不过你是对的——我想这是可能的。但我想你不应该就佛性问这么多的问题。无门禅师总是警告他的弟子过多地提问题是危险的。

乌龟：好吧——不再问了。不过我很想自己作出一个串。看看我做出来的是否是良构串，这会是非常有趣的。

阿基里斯：会很有趣的。这是一个串。（他递给乌龟一个串。）

乌龟：你看，我一点也不知道该怎么去做。对我这个蹩脚产品，就请你多包涵了。它不会遵循任何规则，而且可能会搅缠在一起无法释读。（他抓住双脚间的圈，作了一些简单处理，得到了一个复杂的串，默默地递给阿基里斯。这时，阿基里斯兴奋起来。）

阿基里斯：咦唏！我得用你的这种方法试试。我从未见过这样的串！

乌龟：我希望它是良构的。

阿基里斯：我看到它的一头有个“弯”。

乌龟：噢——等等！我先拿回来一下可以吗？我想再鼓捣一下。

阿基里斯：啊，当然可以。给。

（把它交还给乌龟，乌龟在同一头又打了个“～”，然后猛地一拉，两个“～”顿时都没了！）

阿基里斯：怎么回事？

乌龟：我想去掉那个“弯”。

阿基里斯：可是，你并没有去弄直它，而是又打了一个，然后两个都没了！它们到哪儿去了？

乌龟：当然是跑到堕界去了。这就是双重打“弯”律。

（突然，两个“～”不知从哪儿冒了出来——也就是说，从堕界里冒了出来。）

阿基里斯：有意思。如果它们能这么轻易地从堕界中跳出跳进，那它们一定是待在堕界的一个出入方便的层里。不然就是堕界的所有地方出入难度都相同？

乌龟：我说不上。不过，在我看来，如果烧掉这个串就会使这两个“弯”不能重现。在这种情况下，你应该认为它们是呆在堕界的深层里。说不定堕界有好多好多层呢。不过这无所谓。我想要知道的只是，如果你把我的串转换成拼音符号，它们会怎么样。（当他把它递过去的时候，两个小“～”又一次不见了。）

阿基里斯：我总是为违反中心法则而深感内疚……

（拿出笔和编码字典，仔细而匆忙地用许多三个一组的符号记下对应的缠绕在一起的乌龟的串，记完以后，他清了清嗓子。）

啊哼。你想听听你做出的东西吗？

乌龟：如果你愿意，我当然愿意。

阿基里斯：好吧。是这样的：

玳瑁屡因僧问：“物皆具佛性也无？”（盖玳瑁乃唯一获元顿悟者。）恒趺坐不语。凡僧所问及者，已涉豆菽、湖沼、月夜等。一日，僧示之以一串，问该串亦具佛性也无。竟默然劈手攫过其串挂于双足间，且——

乌龟：在他的双足之间？真奇了！

阿基里斯：你怎么会觉得它真奇了呢？

乌龟：嗯，啊……你有点道理。但是接着讲吧！

阿基里斯：好吧。

竟默然劈手攫过其串挂于双足间，且稍事作弄，竟成一串，叠套纠缠，繁复非常。乃默然与僧，僧便豁然顿悟。

乌龟：要是我，我宁愿双重顿悟。

阿基里斯：只要你从挂在你双脚间的串开始，那它就会告诉你怎样做出玳瑁的串。让我跳过那些讨厌的细节吧。它的结尾是：

僧自此不复诘问。而仿玳瑁之技造串不已，传造串之技于其弟子，其弟子复以教它人焉。

乌龟：真是奇文。真不敢相信它就藏在我的串里。

阿基里斯：可它就藏在里面。更令人吃惊的是，你似乎一下子就做出了一个良构串。

乌龟：可是，玳瑁的串是什么样的？我想这是这个公案的关键所在。

阿基里斯：我怀疑这一点。人们不应该“执于”公案内部的细节。重要的是整个公案的精神，不是它的一部分。哦，这太有意思了！我想——虽然听起来很不合情理——你可能已经找到了那个遗失了很久的、用来描述禅宗串技艺起源的公案了！

乌龟：嗬，那太好了，简直好得不能具有佛性了。

阿基里斯：可是，这就说那位禅师——那个唯一达到过元顿悟的神秘状态的人——的名字叫“玳瑁”，而不是“戴懋”。多滑稽的名字！

乌龟：我不同意。我觉这个名字挺漂亮的。我还想知道玳瑁的串是什么样儿。你能根据那个公案中的描述把它重做出来吗？

阿基里斯：我可以试试……当然，我也得用我的双脚，因为它是用脚的动作描述的。这很不寻常。不过我想我能对付。我来试试。

（他拿起那个公案和一个串，把那个串又拧又弯，不消几分钟，他就用这种神祕方法得出一个东西来。）

好了，瞧。怪哉，它看起来好眼熟啊。

乌龟：啊，可不是吗！我在哪儿见过它，只是想不起来了。

阿基里斯：我知道了！嘿。这是你的串，龟兄！是不是？

乌龟：确实不是。

阿基里斯：确实不是——它正是你第一次递给我时的那个串，你给我的那个时候它上边还没有第二个“弯”呢。

乌龟：哦，对——就是它。真想不到。我不知道这里有什么含义。

阿基里斯：至少是挺怪的。

乌龟：你认为我的公案是正宗的吗？

阿基里斯：请等一会儿……

乌龟：我的串具有佛性吗？

阿基里斯：龟兄，你的串开始叫我感到不安了。

乌龟（一副很得意的样子，一点也没有注意阿基里斯）：玳瑁的串怎么样？它具有佛性吗？我有一堆问题要问呢！

阿基里斯：我害怕这些问题了，龟兄。这里出现了些极怪的东西，我不敢说我喜欢它。

乌龟：很抱歉，我无法想象是什么叫你不安。

阿基里斯：嗯，我所知道的解释它的最好方法是援引另一个老禅师香严的话：

香严和尚云：“（禅）如人上树，口衔树枝，手不攀枝，脚不蹋枝，树下有人问（如何是祖师）西来意？不对，即违他问；若对，又丧身失命。正恁麼时，作麼生对？”

乌龟：很清楚：他就应该放弃禅宗，改学分子生物学。

本篇对话中所有真公案皆引自保罗·李普士[Paul Reps]所著《禅肉，禅骨》与吉奥麦·库伯斯的《禅宗公案》。中译文出自无门慧开纂《禅宗无门关》，载于《大藏经》第四十七卷。

《GEB》（8）印符数论