
_START_ARTICLE_
理查德悖论
_START_PARAGRAPH_
理查兹悖论是一个不真正自相矛盾的数学悖论。1905年法国数学家儒略·理查德首次描写了这个悖论。今天它被用来显示仔细区分数学与元数学的重要性。
_START_SECTION_
悖论
_START_PARAGRAPH_
考虑一个能够用来定义整数的算术特征的语言，比如汉语。比如“第一个自然数”定义一个数字，1，是第一个自然数。“只能被一以及它自己整除”定义该数字是一个质数。（显然有些特征不能被明确地定义，因此每个引导系统从某些公理开始。但是在这里我们假设“两个整数的和依然是一个整数”之类的公理是已知的。）所有这些定义的数量是无穷大的，但是每个定义都是由有限多的词以及有限多的字组成的。因此我们可以把这些定义首先按照其字数，然后按照其字典顺序定义排列起来。_NEWLINE_我们将每个定义映射到一组基数上，并且让排在最前面的定义映射到1上，第二前面的定义映射到2上，等等。因为每个定义都有一个号码。有可能偏巧正好这个号码与这个定义相符合。比如“只能被一以及他自己整除”有11个字，而这个定义的号码恰好是11。而且11本身也只能被1和它自己整除，因此该定义的号码具有该定义的特征。但是这不一定总是正确的。比如假如“第一个自然数”的号码为4，那么它的号码与它定义的特征不同。这样的号码与特征不同的定义被称为是理查兹性的。也就是说一个理查兹性的数字所编号的定义不适用于该数字本身。_NEWLINE_但是因为理查兹性本身是一个整数的特征，因此它也在被列举的特征之内。因此它本身也有一个号码。现在这个悖论来了：是理查兹性的吗？假如是理查兹性的，那么按照定义它没有第个定义所描写的特征，也就是说不是理查兹性的，这和我们的假设相反。而假设不是理查兹性的，那么它拥有第个定义所描写的特征，也就是说它是理查兹性的，这也和我们的假设相反。因此“是理查兹性的”这个定义即不能是正确的，也不能是错误的。
_START_SECTION_
悖论的解决
_START_PARAGRAPH_
理查兹悖论并不是真正的悖论。在悖论排列定义时一个关键的、但是没有提到的假设被忽略了。_NEWLINE_我们说到列举整数得着算术特征，也就是说设计加法、乘法等的特征。但是后来我们却在这些加进去了一个关于算术特征编号的特征。一个数字是否理查兹性不是我们本来打算列举的特征之一，因为这个定义是关于一个描述的字数等等的元数学写法。_NEWLINE_因此要解决这个悖论我们需要区分数学（比如算术）和元数学（比如一个定义的写法）。