数学的本质：关系、模式与不变量的结构世界

关系、模式与不变量：论数学研究对象的结构性本质

Relations, Patterns, and Invariants: On the Structural Nature of Mathematical Objects

摘要： 本文针对"数学研究的对象究竟是什么"这一元数学问题，给出一个系统的、有文献与经验证据支撑的论证，核心命题为：数学的本体论对象并非数字，而是关系、模式与不变量；数字只是这些结构经由抽象过程投射到语言中的符号。与仅停留于直觉陈述的讨论不同，本文构建了完整的研究闭环。首先，在引言中提出研究问题、核心论点、前提假设与论证路线。其次，在文献综述与理论框架部分，系统梳理逻辑主义传统（弗雷格、罗素）与数学结构主义的三条进路------先物结构主义（Shapiro）、模态结构主义（Hellman）与范畴论结构主义（Lawvere、Awodey、McLarty、Landry & Marquis），并澄清本纳塞拉夫的身份不确定性问题与 Keränen 的结构主义身份问题，同时引入数的认知科学（Dehaene; Gordon）与数学适用性哲学（Colyvan; Pincock）两条辅助脉络。再次，在论证分析部分，以"前提---推导---结论"的显式逻辑链条展开五条论证：（一）数字缺乏独立的本体论地位（辅以跨物种近似数感与皮拉罕语实证）；（二）数字是等数关系的抽象类；（三）数字可还原为纯逻辑结构；（四）整个数学研究的是满足公理系统的结构，其同一性由同构与不变量决定（辅以群论---粒子物理、广义相对论、诺特定理等具体科学案例）；（五）经验与科学实证对结构主义立场的确证及其因果机制（诺特定理链）。最后，在结论部分阐明前提假设、因果机制与边界条件，并讨论理论意义与局限。全文旨在使论点具备系统性、学术性与说服力。

Abstract: This paper offers a systematic, literature- and evidence-grounded argument for the meta-mathematical question "what does mathematics study?" Its central thesis is that the ontological objects of mathematics are not numbers, but relations, patterns, and invariants; numbers are merely the symbols into which these structures are projected through language. Unlike discussions that remain at the level of intuitive assertion, this paper constructs a complete argumentative cycle. First, the introduction poses the research questions, the central thesis, the background assumptions, and the argumentative route. Second, the literature review and theoretical framework systematically examine the logicist tradition (Frege, Russell) and the three strands of mathematical structuralism---ante rem (Shapiro), modal (Hellman), and category-theoretic (Lawvere, Awodey, McLarty, Landry & Marquis)---while clarifying Benacerraf's identification problem and Keränen's identity problem, and incorporating two auxiliary lines: the cognitive science of number (Dehaene; Gordon) and the philosophy of mathematical applicability (Colyvan; Pincock). Third, the argumentation analysis develops five arguments with explicit premise--derivation--conclusion chains: (i) numbers lack independent ontological standing (corroborated by cross-species approximate number sense and the Pirahã evidence); (ii) numbers are abstract classes of equinumerosity; (iii) numbers are reducible to purely logical structure; (iv) mathematics as a whole studies structures whose identity is fixed by isomorphism and invariants (illustrated by group theory--particle physics, general relativity, and Noether's theorem); and (v) empirical and scientific confirmation of the structuralist stance together with its causal mechanism (the Noether chain). Finally, the conclusion articulates the background assumptions, causal mechanisms, and boundary conditions, and discusses theoretical significance and limits. The paper aims to render its thesis systematic, scholarly, and persuasive.

关键词： 数学哲学；逻辑主义；数学结构主义；等数关系；本体论；不变量；同构；诺特定理

Keywords: philosophy of mathematics; logicism; mathematical structuralism; equinumerosity; ontology; invariant; isomorphism; Noether's theorem

一、引言

1.1 问题缘起：一个反直觉的起点

我们大多是从数数开始接触数学的。先会数 1、2、3，于是很自然地把数字当成数学里最底层的"东西"。这个直觉强到"数学就是研究数"几乎成了不用想的常识。可偏偏就是这个常识，最经不起细想。罗素（Russell, 1903）在《数学原则》里点破过：数字根本不是世界的本体，它只是"关系结构"的名字罢了。顺着这个思路往下走，本文想说的其实更彻底一点------数学真正研究的从来不是数字，而是关系、模式和不变量；数字，不过是把这些结构投进语言之后留下来的符号。

这里需要先把话说清楚：本文并不打算贬低数字。恰恰相反，数字大概是人类做过最成功的一次抽象。本文要反对的只是另一种东西------把数字当成数学的"终极对象"，好像数学就是在摆弄一堆本来就悬在那儿、独立存在的数的实体。说到底，数字自己就是抽象出来的，它是更底下那层结构的符号化投影；这一层，才是本文真正的靶子。

1.2 核心论点、研究问题与前提假设

在上述直觉之下，本文主张一个可辩护、可证伪的学术命题：

数字本身也是一种结构------等数关系的抽象。数学真正研究的是关系、模式、不变量，而数字只是这些结构投射到语言中的符号。

围绕这一命题，本文提出三个递进的研究问题：

• RQ1（本体论问题）： 数字是否是具有独立本体论地位的对象？
• RQ2（语义学问题）： 若否，数字究竟指称什么？
• RQ3（推广问题）： 对数字的这一重新理解，能否推广到整个数学、并得到经验与科学实践的佐证？

这三个问题分别对应后文论证分析中的五条论证：RQ1 由论证一回应（数字缺乏独立实体，并有认知科学实证）；RQ2 由论证二与论证三回应（数字是等数关系的抽象类、可还原为逻辑结构）；RQ3 由论证四与论证五回应（整个数学研究的是结构；科学实证及其因果机制）。

在论证之前，须先显式交代本文所依赖的前提假设，以免把"哲学解释"误读为"逻辑证明"：

• (A1) 数学实践的可公理化性：现代数学对象通常由一组公理系统隐定义（implicit definition）所刻画，对象身份由满足该系统的结构关系决定，而非由底层"元素本身"决定。
• (A2) 同构同一性判准：在两个结构之间存在保关系同构时，它们对同一数学目的而言是"同一个"对象（Shapiro, 1997；Resnik, 1997）。
• (A3) 语言/符号是载体而非实体：数字符号是结构在语言中的投影，符号的可用性不要求符号背后存在一个独立的数的实体。

这三个假设使后文论证得以成立；同时，它们也划定了下文"边界条件"一节所讨论的适用范围。

1.3 研究方法与论文结构

在方法上，本文综合运用四种相互配合的手段：概念分析 （澄清"数""关系""结构""同构""不变量"的精确含义）、形式化 （以一阶逻辑刻画"恰好有两个"、展示数字的可消去性）、文献对话 （将论点置于逻辑主义与结构主义争论中，并回应反例）与经验/科学案例佐证（引入认知实验与物理学史的具体案例，使论证不悬空）。

本文的结构如下。第二节为文献综述与理论框架；第三节为论证分析，以"前提---推导---结论"展开五条论证并给出论证链总览；第四节为结论与启示，显式交代前提假设、因果机制与边界条件。这一结构遵循规范学术论文体例（引言、文献综述、论证分析、结论），以最大程度保证论证的完整性与可检验性。

二、文献综述与理论框架

本节的任务是建立本文的理论框架。本文的论证并非悬空：它一方面继承逻辑主义对"数字如何被定义"的经典分析，另一方面受益于当代数学结构主义对"数学对象是什么"的系统刻画；同时，认知科学与数学适用性哲学为本文提供经验与科学维度的支撑。因此在进入论证之前，须先把这几条脉络及其内在张力交代清楚。

2.1 逻辑主义传统：数字即逻辑对象

逻辑主义（logicism）的核心主张是：数学命题可以翻译为纯逻辑命题，因而数学在根本上可还原为逻辑。这一纲领由弗雷格与罗素独立提出并系统发展。

弗雷格在《算术基础》（Frege, 1884）中给出"数"的定义框架。他提出著名的休谟原则（Hume's Principle）：

概念 F 的数 = 概念 G 的数，当且仅当 F 与 G 等数（equinumerous）。

并在《算术基本法则》（Frege, 1893）中进一步把"概念 F 的数"显式定义为"与 F 等数的所有概念"这一外延。罗素沿独立路径得出等价结论：数字 2 不是某个具体二元集合（例如不是 {苹果₁, 苹果₂}），而是所有二元集合组成的类（the class of all couples；Russell, 1903, 1919）。两条路径殊途同归------数字被定义为对"等数关系"这一共同结构的抽象命名，而非独立实体。

逻辑主义虽因罗素悖论而未能按其原初形态成功（详见论证三），但其精神为当代新逻辑主义（neo-logicism）继承：赖特（Wright, 1983）、黑尔与赖特（Hale & Wright, 2001）、布罗斯（Boolos, 1998）与林内博（Linnebo, 2018）表明，仅以休谟原则加二阶逻辑即可导出皮亚诺算术的全部公理（"弗雷格定理"）。这为"数字是逻辑结构的投影"提供了坚实的现代技术支撑。

2.2 本纳塞拉夫与身份不确定性问题

逻辑主义把数字还原为集合或类，却引出一个深刻难题：**究竟哪个集合才是数字？**本纳塞拉夫（Benacerraf, 1965）在《数字不可能是什么》中系统提出这一挑战。他指出，集合论对自然数给出多种互不相容的构造------冯·诺依曼序数（0=∅, 1={∅}, 2={∅,{∅}}）与策梅洛序数（0=∅, 1={∅}, 2={{∅}}）------它们都同样好地满足皮亚诺公理。既然没有任何一组特定集合能被认定为"真正的"数字，那么数字的身份在本体论上就是不确定的：数字不可能等同于任何具体的集合论实体。

这一论证的哲学分量在于：它既拒斥"数就是特定集合"的朴素还原论，又没有倒向形式主义或唯名论，而是暗示数学对象真正的本质在于结构------冯·诺依曼序数与策梅洛序数之所以"都是自然数"，是因为它们展现了同一个抽象结构。本纳塞拉夫由此成为数学结构主义的思想先驱。

2.3 数学结构主义的三条进路

数学结构主义（mathematical structuralism）自 1980 年代以来成为数学哲学主流范式之一（Shapiro, 1997；Resnik, 1997；Parsons, 1990）。其共同信条可概括为：数学对象不是孤立的实体，而是结构中的位置（places in a structure）。但在"结构本身具有何种本体论地位"这一问题上，结构主义内部产生深刻分歧，形成三条主要进路。

（1）先物结构主义（ante rem structuralism）。 夏皮罗（Shapiro, 1997）与雷斯尼克（Resnik, 1997）主张，结构是真实存在的抽象实体，先于并独立于其任何具体实例（"ante rem"，先于事物）。自然数结构并非由某一具体集合"构造"出来，而是本来就存在的、由皮亚诺公理刻画的抽象结构；具体的冯·诺依曼序数或策梅洛序数只是它的"例示"（instantiation）。雷斯尼克（Resnik, 1981, 1997）把这一立场表述为"数学是一门关于模式（patterns）的科学"------这正是本文标题中"模式"一词的直接来源。

（2）模态结构主义（modal structuralism）。赫尔曼（Hellman, 1989）反对先物结构主义对抽象结构的本体论承诺。他主张用一种消除性（eliminative）策略：不要承诺"结构"作为实体存在，而只断言"可能存在某个域及其上的关系，满足给定公理系统"。数学命题因此被翻译为关于可能性的模态命题，从而在不对任何数学对象作出本体论承诺的前提下保留数学实践。赫尔曼因而把自己的立场称为"模态中立主义"而非"模态唯名论"。这一消除性路线与菲尔德、赫尔曼等人的唯名论规划（Burgess & Rosen, 1997 有系统评述）一脉相承。

（3）范畴论结构主义（category-theoretic structuralism）。 这一进路认为，结构主义最忠实的数学表达不是集合论，而是范畴论。劳维尔（Lawvere, 1964）提出"集合范畴的初等理论"（ETCS），表明集合论的基础概念可以完全用对象之间的态射（箭头）来刻画，而不诉诸元素的成员关系。阿沃迪（Awodey, 2004）、麦克拉蒂（McLarty, 1993）与兰德利和马基（Landry & Marquis, 2005）进一步论证：在范畴论中，对象的意义恰恰由其与其他对象的态射（关系）所定义，而非由其"内部构造"定义------这为"数学研究的是关系结构"提供了最为彻底的技术实现。布尔巴基学派（Bourbaki, 1950）"母结构"的构想，也早已预示了这种以结构为纲的数学观。

进路	代表人物	结构的存在方式	核心命题
先物结构主义	Shapiro (1997)；Resnik (1981, 1997)	独立的抽象实体（ante rem）	数学是"关于模式的科学"
模态结构主义	Hellman (1989)	消除性，不作本体承诺	数学命题是模态命题
范畴论结构主义	Lawvere (1964)；Awodey (2004)；McLarty (1993)	由态射关系定义	对象的意义由关系决定

2.4 结构主义的身份问题与本文的定位

结构主义并非没有批评者。凯雷宁（Keränen, 2001）提出"实在论结构主义的身份问题"：若数学对象只是"结构中的位置"，而一个结构可以有不只一种自同构（如自然数结构在加法与乘法下具有非平凡对称性），那么两个不同位置可能具有完全相同的结构性质，从而无法被区分------对象的身份再次陷入不确定。这一批评与论证一中本纳塞拉夫的问题形成呼应，表明任何把对象"实体化"的尝试都会遭遇身份难题，而结构性理解恰恰是绕开这一难题的出路。

本文在此澄清自身定位。本文采纳一种温和结构主义 （moderate structuralism）立场，其要义有二：其一，数学对象的最佳理解方式是结构（位置、关系、模式），而非独立实体；其二，本文对"结构自身的本体论地位"保持审慎------究竟是柏拉图式抽象实体（Shapiro）、模态可能性的语言重构（Hellman），还是范畴论中的纯关系刻画（Awodey），本文不作独断裁决。本文的论证只依赖一个更弱、更稳健的主张：数学的同一性与研究内容由关系与结构决定，而非由元素或质料决定（即前提 A1--A2）。这一弱主张足以支撑全文核心命题，且无需卷入结构主义内部关于本体论承诺的争论。

2.5 辅助脉络：数的认知科学与数学的适用性

为使论证不止于哲学思辨，本文引入两条经验/科学辅助脉络。

认知科学脉络：德阿纳（Dehaene, 1997）系统证明，人类与许多动物共享一种进化上古老的"数感"（近似数系统，approximate number system），对粗略数量具备前语言的、非符号的敏感性；精确数则依赖符号系统（语言与计数）的叠加。戈登（Gordon, 2004）对亚马逊皮拉罕（Pirahã）语群的研究发现，其语言缺乏"一、二"之外的精确数词，受试者在数量匹配任务中对大于约 2--3 的集合只能作近似表征------这从经验上表明，精确数概念是语言/文化建构的符号化产物，而非先天独立实体。卡雷（Carey, 2009）关于概念起源的研究亦支持：数概念经由"一对一对应"的结构性操作（休谟原则）逐步建立。这些实证为"数是结构在语言中的投影"提供了来自认知科学的独立证据。

适用性哲学脉络 ：维格纳（Wigner, 1960）提出"数学在自然科学研究中不合理的有效性"之问；柯尔万（Colyvan, 2001）与平考克（Pincock, 2004）则从不可或缺性与表征论角度系统研究"数学如何应用于科学"。其结论倾向于：数学之所以能应用于物理世界，正是因为数学描述的是结构与不变量，而物理世界同样由结构与不变量（对称性、守恒量）所刻画。这为本文论证五的因果机制埋下伏笔。

三、论证分析

本节是全文的论证主体。五条论证均以"前提---推导---结论"的显式结构展开，以保证每一条结论的可检验性：读者可以逐一核对前提是否成立、推导是否有效。

3.1 论证一：数字缺乏独立的本体论地位

这一论证直接回应 RQ1，其逻辑链条如下。

前提 P1： 一个对象若具有独立的本体论地位，则它在原则上应能被独立地指认------即在语言之外的世界中，它有确定的"所是"（位置、性质或构成）。

前提 P2： 数字"2"无法被独立指认。理由有三重，彼此独立、相互印证：

第一，日常经验层面。桌上两只苹果，我们能指着说"这是苹果""那是桌子"，甚至能分别指出这一只、那一只；可若被问"2 在哪儿"，我们指不出来。苹果、人、汽车、星球彼此之间没有任何共同的物质成分，我们却毫不犹豫地说它们"都是 2"------这说明"2"不是任何具体事物的性质。

第二，语义层面（凯撒问题）。弗雷格（Frege, 1884）在把数定义为概念的外延时发现，仅凭数的同一性条件，我们仍无法判定"数字 2 是否等于尤利乌斯·凯撒"这类看似荒谬却严肃的身份问题。这表明把数当作某种"对象"来指认，其身份标准本身是模糊的。

第三，形式层面（身份不确定）。本纳塞拉夫（Benacerraf, 1965）指出，冯·诺依曼序数与策梅洛序数都能同样好地满足皮亚诺公理，却互不相容，因而无法判定哪一组才是"真正的"数字。

前提 P3（经验佐证）： 认知科学为 P2 提供独立证据。德阿纳（Dehaene, 1997）表明，跨物种（大鼠、鸽、灵长类、人类婴儿）共享近似数量敏感性，但精确数依赖符号系统；戈登（Gordon, 2004）的皮拉罕语研究发现，缺失精确数词的群体对大于约 2--3 的集合只能近似表征。这说明精确数的"对象性"并非先天给定，而是符号/文化层叠加上去的。

推导： 由 P1 与 P2，若假定"2"是独立实体（P1 的前件满足却无对应指认），则与 P2 的三重证据相矛盾；P3 进一步表明，即便从认知发生看，"精确数实体"也不构成一个独立的自然类。

结论 C1： 数字"2"不是具有独立本体论地位的对象，而是我们加诸某种跨质料的共同结构之上的命名。这为 RQ1 提供了否定性回答，也为后续的正面刻画（RQ2）铺平道路。

3.2 论证二：数字是等数关系的抽象类

既然"2"不是独立实体，它究竟是什么？本论证回应 RQ2，其链条如下。

前提 P1： 两只苹果、两个人、两辆车，尽管质料毫无共同成分，却都被称作"2"。

前提 P2： 使它们共享"2"这一称谓的，只能是它们之间某种跨质料的共同之处。

前提 P3： 这共同之处是一一对应 （双射，bijection）------即"每一只苹果都可以对应一个人，不重复、不遗漏"这一关系结构；也称等数关系 或等势关系（equinumerosity）。

前提 P4（休谟原则）： 概念 F 的数 = 概念 G 的数，当且仅当 F 与 G 等数（Frege, 1884, §63）。

推导： 由 P1--P3，数字的意义被唯一地锚定在"可彼此一一配对"这一关系之上；只要配得上，质料差得天远也无妨，统统算作一类。由 P4，罗素进一步把"2"显式定义为"所有二元集合所组成的类"（Russell, 1903, 1919）------注意，这个类不是任何具体的一对东西，而是"二元性"本身。举一具体实例：集合 {苹果₁, 苹果₂} 与 {人₁, 人₂} 的元素完全不同，却同属"二元集合类"，因为二者之间存在显式的双射 φ(苹果ᵢ)=人ᵢ；它们的"2 性"来自这层关系，而非来自任何共同质料。

结论 C2： 数字是对等数关系的抽象命名，其身份由关系而非质料决定。真正要紧的抽象发生在"从质料抽离、只保留配对关系"这一步：所有"刚好有两个元素的集合"叠成一个更高的抽象层，数字 2 就是这个抽象层的名字。

图 1 直观地展示了这一抽象过程：从具体实体出发，剥离质料、只保留"等数关系"这一结构，再把该结构投射到语言中，便得到符号"2"。

3.3 论证三：数字可还原为纯逻辑结构

论证二把数字定位为"类"，但仍借用了一阶逻辑之外的集合论概念。逻辑主义走得更远：连"等数关系"本身也能拆解为更底层的逻辑构件。本论证回应 RQ2 的更强版本，链条如下。

前提 P1（逻辑主义）： 数学命题可以翻译为纯逻辑命题（Frege, 1884；Russell, 1903）。

前提 P2： 自然语言命题"桌上有两个苹果"，用一阶逻辑可改写为：

∃x∃y(Fx∧Fy∧x≠y∧∀z(Fz→(z=x∨z=y))) ∃x∃y(Fx ∧ Fy ∧ x≠y ∧ ∀z(Fz → (z=x ∨ z=y))) ∃x∃y(Fx∧Fy∧x=y∧∀z(Fz→(z=x∨z=y)))

其中 F 表示谓词"桌上的苹果"。该公式的语义是：存在 x 与 y，二者都是桌上的苹果且互不相同，并且任何桌上的苹果都只能是 x 或 y------换言之，它精确地表达了"恰好有两个 F"。

前提 P3： 上述公式中只出现存在量词 ∃、等词 = 与 ≠、以及逻辑连接词 ∧、→、∨，完全没有出现数字 2 这个对象。

推导： 由 P2 与 P3，"恰好有两个"这一结构可以完全脱离对象"2"而被表达；由 P1，数学命题可还原为逻辑。故数字"2"在这一形式化中并非不可或缺的实体，而是"恰好有两个"这一逻辑结构的缩写。

结论 C3： 数字可还原为纯逻辑结构，是逻辑结构投射到语言中的符号（缩写）。

需要如实说明逻辑主义的限度。弗雷格用以定义数的基本律 V （Grundgesetz V）被罗素于 1901 年发现会导致罗素悖论 ，致使原初逻辑主义体系崩溃；哥德尔（Gödel, 1931）的不完备定理 则进一步表明，任何足够强的形式系统都无法在自身内证明自身的一致性，从而限制了"全部数学皆可化归为逻辑"的强硬主张。然而，新逻辑主义的技术成果可视为本论证的定量证据：赖特（Wright, 1983）、黑尔与赖特（Hale & Wright, 2001）、布罗斯（Boolos, 1998）与林内博（Linnebo, 2018）证明，仅以休谟原则加二阶逻辑即可导出皮亚诺算术全部公理（"弗雷格定理"），从而在不依赖有问题的外延公理前提下，把算术从近乎纯粹的逻辑出发构造出来。数字作为"逻辑结构投影"的洞见，因而经受住了历史的检验------本文所倚仗的，正是这一经过修正与辩护的洞见，而非原初的、已被证伪的强硬版本。

3.4 论证四：整个数学研究的是结构

前三条论证把"数字"从实体降级为结构。若这一视角成立，自然会问：它能否推广到数字以外的数学对象？本论证回应 RQ3 的正面部分，其链条如下。

前提 P1（算术）： 自然数不是某一堆具体的元素，而是任何满足皮亚诺公理 （存在起点、每元素有唯一后继、满足数学归纳法）的系统。冯·诺依曼序数与策梅洛序数都只是自然数结构的模型（实现），而非自然数本身（Benacerraf, 1965）。

前提 P2（代数）： 一个群 不是具体的一堆元素，而是满足封闭性、结合律、存在单位元与逆元的运算结构 。两个群若存在保持运算的同构 （isomorphism），数学上就把它们视为同一个群，即便其元素名字完全不同、所属领域毫不相干。环、域、向量空间无不如此（Bourbaki, 1950）。这一判准正是前提 A2 的具体体现。

前提 P3（几何与拓扑）： 几何（以克莱因 1872 年埃尔朗根纲领为标志）研究在某种变换群下保持不变的性质；拓扑研究在连续变形（拉伸、弯曲而不撕裂、不粘连）下不变的性质，如连通性、紧致性、亏格（Klein, 1872）。一个咖啡杯与一个甜甜圈在拓扑上等价（都具一个"洞"，亏格为 1），因为它们共享同一组不变量------尽管质料、形状、用途天差地别。

前提 P4（不变量的因果机制，以诺特定理为范式）： 在数学与物理的交界面，不变量是结构决定现象的核心机制 。诺特（Noether, 1918）证明：物理系统作用量的每一个连续对称性都对应一个守恒量------时间平移不变性 ↔ 能量守恒，空间平移不变性 ↔ 动量守恒，空间旋转不变性 ↔ 角动量守恒。换言之，物理定律的"可应用性"恰恰源于其对称结构 所决定的不变性。

具体科学案例（证据）：

• 群论与粒子物理（预测性实证） ：盖尔曼与内埃曼（Gell-Mann, 1962；Ne'eman, 1961）用对称群 SU(3) 对强子分类为八重道与十重态；十重态中本有九种成员被观测到，缺失的 Ω⁻ 由质量公式预测其质量、电荷与量子数，并于 1964 年在布鲁克海文实验室被观测到。此例表明，数学的结构（群的表示）直接预言了此前未知的粒子。
• 相对论与时空结构（适用性与回溯实证） ：爱因斯坦（Einstein, 1915）把引力刻画为时空的几何结构（微分流形上的不变量理论）；引力波于 1916 年预言、2015 年由 LIGO 探测到（Abbott et al., 2016）。物理对象（时空）被建模为结构/不变量，且预测得到经验确证。
• 狄拉克方程（结构蕴含新实体） ：狄拉克（Dirac, 1928）的相对论性电子波动方程作为对电子场的结构性约束 ，其负能解逻辑地蕴含一个此前未知的粒子（正电子），1932 年由安德森（Anderson, 1932）发现。预测力同样来自方程的结构而非经验编目。

推导： 由 P1--P3，从算术到代数、从几何到拓扑，数学对象的身份普遍地锚定在"关系---模式---不变量"之上；由 P4 与具体案例，物理世界之所以可被数学描述，正是因为物理理论本身也是由对称结构与不变量构成的------两者共享同一套结构语言。数学对象的同一性由同构决定，而非由元素身份决定（Shapiro, 1997；Resnik, 1997）。这不是个别现象，而是贯穿数学诸分支的底层范式。

结论 C4： 数学真正研究的不是数字或任何具体质料，而是满足公理系统的结构及其在变换下的不变量。RQ3 的正面部分由此得到肯定回答。

图 2 以两个同构的结构为例，说明结构相同即同一数学对象：尽管两个结构的元素与命名完全不同，只要存在保持关系的同构映射，数学上便把它们视为同一个对象。

3.5 论证五：经验与科学实证对结构主义立场的确证

前四条论证从概念分析与形式化层面建立论点；本论证回应 RQ3 的经验维度------科学实践是否为"数学研究的是结构"提供了独立确证？其链条如下。

前提 P1： 若"数学研究的是关系、模式、不变量"为真，则我们应当观察到：（a）数学的当代前沿以结构与不变量的分类/统一为核心；（b）数学之所以能应用于物理，是因为物理系统本身由对称结构与不变量刻画。

前提 P2（前沿数学即"结构---不变量"的实践）： 现代数学的若干旗舰性成就正是纯结构性的分类与统一：有限单群分类（Gorenstein, 1982 称之为"巨大定理"）用不变量把全部有限单群分类；琼斯（Jones, 1984）的琼斯多项式作为纽结不变量，按同痕（isotopy）区分纽结；朗兰兹纲领（Langlands, 1970）则通过对称性把数论、表示论与自守形式统一起来（Frenkel 称之为"所有数学的源代码"）。这些案例表明，当代数学的核心活动正是发现与分类不变量。

前提 P3（适用性的因果机制------诺特链）： 物理理论以对称群（结构）表述，诺特定理（Noether, 1918）将对称性映射为守恒量（不变量）。于是，数学研究的结构/不变量，恰好就是物理理论所需的结构/不变量------二者同构。这正是维格纳（Wigner, 1960）"不合理有效性"的因果解释：数学并非偶然地"贴"在世界上，而是因为它与物理共享同一套结构语言。

图 3 给出这一因果机制的链路：数学（对称群/不变量）经同构映射到物理系统的对称性，再经诺特定理（1918）导出守恒律，从而解释数学在自然科学中"不合理的有效性"。

推导： 由 P1--P3，科学实践中的预测性实证（Ω⁻、正电子、引力波）与前沿数学的结构性实践，共同且独立地支持"数学研究的是结构"这一命题；诺特链给出其可检验的因果机制。

结论 C5： "数学研究关系、模式、不变量"不仅是哲学立场，更得到了认知科学、粒子物理、相对论与当代数学实践的多重实证支持。它是对数学成功应用与数学自身实践的最佳解释（abduction/inference to best explanation），而非任意约定。

3.6 前提假设、因果机制与边界条件

为使论证经得起同行评议，须显式交代其运作所依赖的前提、因果机制与边界------避免把"最佳解释"误读为"逻辑必然"。

（一）前提假设（assumptions）。 本文论证依赖 1.2 节给出的 A1（可公理化性）、A2（同构同一性判准）、A3（符号是载体而非实体）。此外隐含一项元假设 A4：数学实践具有相对稳定性------本文以二十世纪主流数学实践为样本，其结构性特征不因个别公理选择而改变。

（二）因果机制（causal mechanisms）。 全文存在两条清晰机制：

• 机制 M1（数的发生机制）：前语言的近似数量感（Dehaene, 1997）→ 符号/计数系统叠加精确的"一对一"结构（休谟原则）→ 数字符号成为该结构的投影（Gordon, 2004 提供反面---缺符号则缺精确数）。
• 机制 M2（适用性机制，诺特链）：物理理论以对称结构表述 → 诺特定理将对称性映射为不变量（守恒律）→ 数学研究的"结构/不变量"正是物理所需 → 数学"不合理地有效"（Wigner, 1960）。

（三）边界条件（boundary conditions）。 本论证的效力有明确边界，超出则需谨慎：

• B1（学科适用梯度）：结构主义解释在算术、代数、几何、拓扑中最为稳固（近共识）；在集合论与基础层面仍存争议（如哈姆金斯（Hamkins, 2012）的"集合论多宇宙"挑战唯一宇宙设定下的结构主义）。其形式化基础见 3.7 节。
• B2（本体论 vs 语义学两种读法） ：本文区分弱读法（数学描述 结构，广泛接受）与强读法（数学对象即结构中的位置，结构实在论，仍有争议）。本文承诺弱读法 + 一种克制的强读法（"最佳理解"），而非对结构本体论的独断断言。
• B3（确证的性质） ：论证五中的科学案例证实的是"结构主义立场的解释力与适用性"，并非对 A1--A3 的演绎证明；其支持是溯因的（最佳解释），而非演绎必然。
• B4（避免过强推广）：不能从"数学适用于物理"推出"所有数学对象都是结构"；也不能从"数字非实体"推出"数学没有本体论承诺"（如关于集合、范畴的承诺仍可存在）。本文的命题范围严格限定于"数字与广义数学对象的最佳理解为结构"。

3.7 形式化深化："同构即同一"的模型论与同伦类型论刻画

"同构即同一"（isomorphic structures are identical）是结构主义的核心信条，但它在哲学陈述中往往带有隐喻色彩。本节将这一口号在两种严格的形式系统中加以刻画，使其从启发式命题变为可检验、甚至可证明的数学事实，并据此校准边界条件 B1--B2。

（一）模型论刻画：同构不变性与不变可定义性。 在模型论中，签名 L 下的两个结构 A、B 同构（A ≅ B）当且仅当存在保持全部关系与函数的双射。一阶真值在 ≅ 下不变：对任意 L-句子 φ，若 A ≅ B，则 A ⊨ φ 当且仅当 B ⊨ φ。这正是"数学真理只取决于结构、而不取决于元素"的精确形式化（可溯至 Tarski--Fraïssé 的初等等价理论）。进一步的"不变性判据"（invariance criterion）主张：一个关于结构的构造 F: Str(L) → Set 若合法，则必须在 ≅ 下协变不变（F(A) ≅ F(B) 随 A ≅ B 自然变换）。换言之，数学所关注的不是某个代表元，而是其在 ≅ 作用下的轨道------这把"结构优先于质料"落实为一条可证伪的句法定理。但须注意：模型论在集合论宇宙 V 之内研究结构，"结构相同"是元层断言，并不声称结构就是同一个集合；因此它首先支持的是 3.6 节的弱读法（数学描述结构）。

（二）同伦类型论（HoTT）与单价公理：同构 ≃ 等于。 同伦类型论（The Univalent Foundations Program, 2013）把类型解释为 ∞-群胚（空间），将相等性本身也当作带有结构的类型。其单价公理 （univalence axiom，Voevodsky 提出）断言：对任意类型 A、B，(A = B) ≃ (A ≃ B)，即"相等"与"等价"之间典范等价。这里 = 是同一性类型，≃ 是等价（同构在高维的推广）。由此，"同构的结构是同一的"从比喻变为定理：在单价基础下，识别同构结构不再是方便的滥用语，而是被公理认可的可允许识别（Awodey, 2014）。就具体结构而言，一个群被形式化为带运算与公理的类型；两个同构的群在单价公理下被判定为命题相等（propositionally equal），这正是结构主义"数学对象的身份由同构决定"的立场在基础层面的内化。

（三）对边界条件的校准。 单价基础（UF）在基础层面实现了结构主义纲领（Awodey, 2014），但它只是诸多基础之一；其采纳是一项基础选择，而非已决事实。这恰好收紧了边界条件：强读法（数学对象即结构中的位置）在 HoTT/UF 内部可辩护，弱读法（数学描述结构）则跨所有基础成立。因此本文在 3.6 节所作"承诺弱读法 + 克制强读法"的立场，与当前形式化研究的实际状况完全一致。

3.8 论证链总览

五条论证构成一条严密的逻辑链条，其结构可汇总如下。

论证	研究问题	前提（要点）	结论
论证一	RQ1：数字是否是独立实体？	P1 独立实体应可被独立指认；P2 "2"不可被独立指认（经验/凯撒问题/身份不确定）；P3 认知实证	C1 数字不是独立实体，而是对共同结构的命名
论证二	RQ2：数字指称什么？	P1--P4 等数关系 + 休谟原则 + 实例	C2 数字是等数关系的抽象类
论证三	RQ2（强）：数字可消去吗？	P1--P3 逻辑主义 + "恰好两个"的形式化 + 弗雷格定理	C3 数字可还原为纯逻辑结构
论证四	RQ3：能否推广到整个数学？	P1--P4 皮亚诺结构 + 同构 + 不变量 + 诺特定理 + 物理案例	C4 整个数学研究的是结构及其不变量
论证五	RQ3（经验维度）：有无实证？	P1--P3 前沿数学实践 + 诺特链因果机制 + 多案例	C5 立场获认知/物理/数学多重实证最佳解释

这条链条的逻辑关系是：C1 否定数字的实体地位 → C2 正面刻画数字为等数关系的抽象 → C3 进一步表明该结构可还原为纯逻辑 → C4 将"结构优先于质料"推广到整个数学 → C5 以经验/科学实证对整条立场给出最佳解释。五者层层递进，共同支撑全文核心命题；其效力受 3.6 节边界条件约束。

四、结论与启示

4.1 结论

回到开篇的命题。本文通过文献综述确立理论框架，再以五条显式的论证链条，系统论证了：

数字本身也是一种结构------等数关系的抽象。数学真正研究的是关系、模式、不变量，而数字只是这些结构投射到语言中的符号。

数字不是世界的本体，它更像逻辑结构投下的一道影子（projection）。等你看懂了影子背后的结构，数学那种吓人的统一力就不难解释了：它把具体事物抽掉，只留关系模式，于是同一种语言就能去讲苹果、人、汽车，乃至星球的故事。

4.2 理论意义

这一温和结构主义立场的理论意义有三。

其一，它把罗素的逻辑主义与当代数学实践统一在结构主义框架之下。 数字作为逻辑结构的投影，与群、空间作为代数/几何结构的实例，本质同源：前者是后者在"等数关系"这一最简单结构上的特例。逻辑主义与结构主义因而不是竞争关系，而是同一洞见在不同抽象层级上的表达。

其二，它解释了数学的适用性之谜。 维格纳（Wigner, 1960）提出著名的"数学在自然科学研究中不合理的有效性"之问。本文的框架给出了一种可检验的因果回答------诺特链（3.6 机制 M2）：正因为数学剥离了质料、专研关系与不变量，而物理世界恰恰是由关系与不变量（守恒量、对称性）所刻画，二者共享同一套结构语言，因而能够相互映照。Ω⁻ 与正电子的预言、引力波的探测，都是这一机制的实例。

其三，它与现代数学的范畴论视角若合符节。 在范畴论中，对象的意义恰恰由其间的态射（关系）所定义，而非由对象自身的"内部构造"所定义（Lawvere, 1964；Awodey, 2004）。朗兰兹纲领（Langlands, 1970）更把整个数学的前沿推向"以对称性统一不同领域"。本文的结论因此不仅是对十九、二十世纪数学哲学的总结，也指向当代数学基础研究的前沿。

4.3 局限与展望

本文的论证并非没有边界，须如实交代（详见 3.6 边界条件 B1--B4）。

第一，本文所取的是一种温和结构主义：它主张数学对象的最佳理解为结构，而非主张结构之外别无他物。关于结构自身的本体论地位------是柏拉图式的抽象实体、还是模态可能性的语言重构、抑或范畴论中的纯关系刻画------本文有意不作独断裁决。读者若持更强的本体论立场，需要在本文框架之上作进一步辩护。

第二，结构主义内部的身份问题（Keränen, 2001）在本文中只被"绕开"而未获彻底解决。本文的立场之所以稳健，恰恰在于它不承诺"对象=位置"的强实体化命题，而只承诺"同一性与研究内容由结构决定"的弱命题；但这一弱命题能否规避全部身份难题，仍可进一步讨论。

第三，本文对"结构"这一核心概念的刻画是功能性的（由公理系统与同构关系给出），而非解释性的（结构"本身是什么"）。本文 3.7 节已就此作出初步拓展：先以模型论的同构不变性与不变可定义性给出"结构优先于质料"的句法刻画，再借同伦类型论的单价公理将"同构即同一"提升为系统内可证定理；但对"结构"的语义与本体论刻画仍可在更高维度（如单价基础下的高阶归纳类型）继续深化。

最后回到那个核心比喻：数字不是世界的砖，它是砖和砖之间关系的名字。哪天我们学会用关系的眼睛去看数学，数学就不再是冷冰冰的符咒，而会变成一门讲"模式怎么稳住自己"的、最干净的语言。

参考文献

1 Russell, B. (1903). The principles of mathematics. Cambridge: Cambridge University Press.

2 Russell, B., & Whitehead, A. N. (1910--1913). Principia mathematica (Vols. 1--3). Cambridge: Cambridge University Press.

3 Russell, B. (1919). Introduction to mathematical philosophy. London: George Allen & Unwin.

4 Frege, G. (1884). Die Grundlagen der Arithmetik The foundations of arithmetic. Breslau: Wilhelm Koebner. (English trans. Austin, J. L., 1953, Oxford: Blackwell.)

5 Frege, G. (1893). Grundgesetze der Arithmetik (Vol. 1). Jena: Hermann Pohle.

6 Benacerraf, P. (1965). What numbers could not be. The Philosophical Review, 74(1), 47--73.

7 Shapiro, S. (1997). Philosophy of mathematics: Structure and ontology. New York: Oxford University Press.

8 Resnik, M. D. (1997). Mathematics as a science of patterns. New York: Oxford University Press.

9 Boolos, G. (1998). Logic, logic, and logic. Cambridge, MA: Harvard University Press.

10 Dedekind, R. (1888). Was sind und was sollen die Zahlen? The nature and meaning of numbers. Braunschweig: Vieweg.

11 Klein, F. (1872). Vergleichende Betrachtungen über neuere geometrische Forschungen Erlangen program. Erlangen: A. Deichert.

12 Gödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik, 38, 173--198.

13 Wigner, E. P. (1960). The unreasonable effectiveness of mathematics in the natural sciences. Communications on Pure and Applied Mathematics, 13(1), 1--14.

14 Linnebo, Ø. (2018). Thin objects: An abstractionist account. Oxford: Oxford University Press.

15 Wright, C. (1983). Frege's conception of numbers as objects. Aberdeen: Aberdeen University Press.

16 Hale, B., & Wright, C. (2001). The reason's proper study. Oxford: Oxford University Press.

17 Hellman, G. (1989). Mathematics without numbers: Towards a modal-structural interpretation. Oxford: Oxford University Press.

18 Lawvere, F. W. (1964). An elementary theory of the category of sets. Proceedings of the National Academy of Sciences of the United States of America, 52(6), 1506--1511.

19 Awodey, S. (2004). An answer to Hellman's question: Does category theory provide a framework for mathematical structuralism? Philosophia Mathematica, 12(1), 54--64.

20 Keränen, J. (2001). The identity problem for realist structuralism. Philosophia Mathematica, 9(3), 308--330.

21 Landry, E., & Marquis, J.-P. (2005). Categories in context: Historical, foundational, and philosophical. Philosophia Mathematica, 13(1), 1--43.

22 McLarty, C. (1993). Numbers can be just what they have to. Noûs, 27(4), 487--498.

23 Parsons, C. (1990). The structuralist view of mathematical objects. Synthese, 84(3), 303--346.

24 Bourbaki, N. (1950). The architecture of mathematics. The American Mathematical Monthly, 57(4), 221--232.

25 Resnik, M. D. (1981). Mathematics as a science of patterns: Ontology and reference. Noûs, 15(4), 529--550.

26 Dehaene, S. (1997). The number sense: How the mind creates mathematics. Oxford: Oxford University Press.

27 Gordon, P. (2004). Numerical cognition without words: Evidence from Amazonia. Science, 306(5695), 496--499.

28 Gell-Mann, M. (1962). Symmetries of baryons and mesons. Physical Review, 125(3), 1067--1084.

29 Ne'eman, Y. (1961). Derivation of strong interactions from a gauge invariance. Nuclear Physics, 26(2), 222--229.

30 Noether, E. (1918). Invariante Variationsprobleme. Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse, 235--257.

31 Einstein, A. (1915). Die Feldgleichungen der Gravitation. Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften (Berlin), 844--847.

32 Weyl, H. (1918). Gravitation und Elektrizität. Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften (Berlin), 465--480.

33 Dirac, P. A. M. (1928). The quantum theory of the electron. Proceedings of the Royal Society of London A, 117(778), 610--624.

34 Anderson, C. D. (1932). The apparent existence of the positive electron. Physical Review, 43(6), 491--494.

35 Abbott, B. P., et al. (LIGO Scientific Collaboration and Virgo Collaboration) (2016). Observation of gravitational waves from a binary black hole merger. Physical Review Letters, 116(6), 061102.

36 Colyvan, M. (2001). The indispensability of mathematics. Oxford: Oxford University Press.

37 Pincock, C. (2004). A new perspective on the problem of applying mathematics. Synthese, 139(1), 101--133.

38 Maddy, P. (1997). Naturalism in mathematics. Oxford: Oxford University Press.

39 Burgess, J., & Rosen, G. (1997). A subject with no object: Strategies for nominalistic interpretation of mathematics. Oxford: Oxford University Press.

40 Jones, V. F. R. (1984). Index for subfactors. Inventiones Mathematicae, 72(1), 1--25.

41 Gorenstein, D. (1982). The enormous theorem. Scientific American, 253(6), 104--115.

42 Hamkins, J. D. (2012). The set-theoretic multiverse. Review of Symbolic Logic, 5(3), 416--449.

43 Carey, S. (2009). The origin of concepts. Oxford: Oxford University Press.

44 Langlands, R. P. (1970). Problems in the theory of automorphic forms. In Lectures in Modern Analysis and Applications III (Lecture Notes in Mathematics, Vol. 170, pp. 18--61). Berlin: Springer.

45 The Univalent Foundations Program. (2013). Homotopy type theory: Univalent foundations of mathematics. Princeton, NJ: Institute for Advanced Study.

46 Awodey, S. (2014). Structuralism, invariance, and univalence. Philosophia Mathematica, 22(1), 1--11.