数学真理是什么？

于我们的大脑通过我们的感觉器官与物质世界的相互作用。所以，一个哲学上的谜就是：这样一个有限的大脑与有限的物质世界的相互作用，如何能够产生对那个独立王国中的无穷、甚至超无穷的数学对象和结构的知识？这是否意味着我们有着独立于物质性的大脑的某种心灵，而且我们的心灵有着某种神秘的直觉，可以认识超出有限的物质世界之外的无穷、甚至超无穷的数学对象和结构？这是否意味着神秘主义？换句话说，它是这样一个谜：一方面，直观上我们似乎确实有着关于无穷、甚至超无穷的数学对象和结构的知识；另一方面，如果它们真的是独立于现实的物质世界的对象和结构，我们究竟是如何得到关于它们的知识的？究竟是依据什么来断定一个数学定理或公理是真的？我们不能观察到那些无穷的对象和结构，不能像对牛顿力学那样，用观察来验证它是近似地真的，用观察来验证它不如相对论更准确等等。所以，一个数学命题之为真的依据究竟是什么？

也许，并没有这样一个独立于现实的物质世

界的数学上的独立王国。那么，数学真理又是什么？数学定理还是客观真理吗？一种自然的想法是，数学公理只是假设。它们本身不是客观真理。数学家们只是从那些假设推导出定理。但是，数学家们显然不是在随意地作假设。科学家们作一些科学假说，是因为他们揣测那些假说可能是真的，然后他们用实验去验证或反驳那些假设。同样地，数学家们接受了一些公理，从那些公理推导出定理，是因为他们确实直觉到那些公理的自明性。他们不会任意地选择一些命题作为公理，然后就去推导定理。比如，假设用现有的公理可以证明哥德巴赫猜想，而用另外一些公理可以推导出哥德巴赫猜想的否定。假如公理仅仅是一些任意的假设，那么是不是说哥德巴赫猜想本身也无所谓真假了？将数学公理仅仅看成假设，可能是因为混淆了两类不同意义上的公理。一种是像一些数学结构的定义公理，比如群的定义公理。这些公理确实只是假设。群的定义只刻画了群这一类结构，它们本身不蕴涵群存在。要证明群存在，需要一些更基本的更实质性的公

理，也就是集合论中的公理，它们断言空集存在，两个集合的并集存在等等。特别地，要证明无穷群存在，需要集合论中的所谓无穷公理，即至少存在一个无穷集。无穷公理似乎不仅仅是假设。它直接地断定无穷集存在。如果它是假的，如果无穷集不存在，那么很大一部分数学似乎就无意义了。而且，从另一方面看，既然像无穷公理、选择公理这样的假设，使得所推导出的数学定理在科学中有着广泛的应用，我们能否说科学就证明了这些假设不仅仅是随意的假设，而是蕴含着真正的真理？

这些问题，是关于数学真理是什么的主要问题。概括起来是：数学真理是什么性质的真理？一个数学命题之为真是依赖于什么？我们是依据什么来认识数学真理和判断一个数学命题（包括公理）为真的？我们将称之为数学的真理性问题，或关于数学真理性的困惑 。

本文的目的不是回答这些问题。本文的目的是简要地介绍历史上哲学家们对数学真理的本质的思考，考察它们是否提供了对这个

问题的答案。同时我们还想从中寻找一些发展脉络，尤其是考察，种种困难如何迫使哲学家们对数学真理的定位摇摆于逻辑真理与经验科学的真理之间。这里，我们是从现代数学的角度提出这些疑问的。现代数学产生之前的对数学真理的本质的哲学思考，不可避免地有着它们的时代局限性，但是它们在今天还是会有一些启发性的意义。所以本文将从考察恩格斯对数学的定义和康德对数学真理的定位开始。但我们将主要考察最近一百年来西方哲学家对这些问题的思考，并对之作出一些评价。另外，本文的目的不是要完整地描述数学哲学的历史，所以我们将只考察那些与数学真理的本质与定位有关的哲学思想。

我们将侧重于这些哲学问题，但是本文将不假设读者具备任何哲学史或现代数理逻辑的知识。关于数学真理的本质的问题，应该是任何具备了一些现代数学和自然科学常识的人都可以认真思考的问题。本文的目的之一，是希望能引起非哲学专业的读者们对这一问题的兴趣。因此，我们将不繁琐地引