在大多数人的印象中，数学是确定无疑的：只要证明成立，结论就永远正确。但如果继续追问一个更根本的问题——“这些证明最初是建立在什么之上？”——答案就不再那么简单了。因为在所有证明链条的最底层，存在着一些无法再被证明的前提，它们被称为“公理”。而正是这些看似理所当然的基础，曾引发过激烈而持久的争论。
数学的运作方式通常是这样的：研究者从已有结论出发，通过逻辑推导得到新的结论，而这些已有结论本身也来自更早的证明，如此层层递进。但这个过程不可能无限倒退，总要在某个地方停下来。那些不再被证明、而是被直接接受的命题，就是整个体系的基石。
在现代数学中，这套基石通常被称为“ZFC体系”，也就是泽梅洛–弗兰克尔集合论加上选择公理。它由大约十条基本原则组成，几乎所有当代数学研究都建立在它之上。大多数数学家在日常工作中甚至不会刻意去思考这些公理，因为它们已经成为默认前提，就像空气一样无处不在。
然而，这种“默认接受”的状态，并不是一开始就存在的。回顾历史，这些公理的确立经历了漫长而复杂的过程，并且伴随着大量争议。并没有哪一条公理是显而易见、毫无疑问地被所有人接受的。相反，它们的形成，是多种数学需求、哲学立场以及实际应用不断博弈的结果。
其中最具争议的，正是与“无限”相关的思想。在19世纪末，数学家逐渐开始把无限视为一种可以直接研究和操作的对象，而不是仅仅作为一个趋近的过程。这一转变极大推动了集合论的发展，也为现代数学奠定了基础。但与此同时，它也打开了一个充满悖论与不直观结论的大门。
例如，在接受某些关于无限集合的假设后，数学中会出现一些令人难以置信的结果：一个物体可以被分割并重新组合，得到多个与原来大小相同的副本。这类结论挑战了人们的直觉，也让部分数学家对这些公理的合理性产生怀疑。
因此，一些学者提出了不同的立场。他们认为，数学对象不应该仅凭定义就被视为存在，而必须通过具体的构造过程来证明其存在。这种观点被称为“直觉主义”。在这种框架下，像π这样的数不再被看作一个已经完整存在的无限对象，而是一个可以不断生成数字的过程。
还有更激进的观点，例如“超有限主义”，甚至主张彻底放弃无限的概念，认为所有数学都应该建立在有限可计算的基础之上。这些思想虽然长期处于边缘，但近年来也开始重新受到关注，因为它们为理解计算、复杂性以及现实世界的限制提供了新的视角。
围绕这些分歧，一个核心问题始终存在：我们为什么要接受某些公理？是因为它们“显然正确”，还是因为它们“有用”？在实际操作中，数学家往往更倾向于后者。一个公理如果能够产生丰富、有价值且一致的理论体系，就更容易被接受，即使它在哲学上并不令人完全信服。
这也意味着，数学并不像表面上那样完全客观和不可动摇。它的基础同样受到历史、文化和人类选择的影响。不同的时代、不同的研究目标，可能会推动人们接受不同的公理体系。换句话说，数学的“真理”，在某种程度上也是被建构出来的。
即便如此，这种不确定性并没有削弱数学的力量，反而成为推动其发展的动力。正是因为基础存在争议，数学家才不断反思和重构自己的理论框架，从而发现新的结构与规律。
今天，关于公理的讨论仍在继续。虽然ZFC体系依然是主流，但并不意味着它是唯一可能的选择。未来的数学，或许会在新的公理基础上展开，甚至彻底改变我们对“证明”和“真理”的理解。
本文译自：quantamagazine（编译 / 整理：olaola）