论人类公理化体系的结构性有损
一、核心命题
人类的一切可形式化知识共享同一个认知基底：分类——在对象之间划定边界，判定归属与区分。集合论的基本操作是成员归属判定，逻辑学的基本操作是真值判定，语言的基本操作是指称与区分，神经系统的基本操作是模式识别与归类。人类迄今发明的所有形式系统更换了分类的具体规则，但从未更换分类这一操作本身。
宇宙在人类出现之前已运行约138亿年。恒星在数学发明之前燃烧，分子在化学命名之前交互。物理过程的发生不以分类为前提。分类是人类后加的认知操作。
分类操作将对象映射到预设的范畴空间。若对象本身不具有范畴空间所预设的边界，则映射将在对象上强行施加出发域不具有的结构——跨越边界的连续性在映射中没有像，凭空产生的边界在原对象中没有原像。丢失的不是精度，而是结构类型。
由此得出本文的核心命题：公理化体系在其定义域内自洽且有效，但它对宇宙的描述存在不可消除的结构性上限。此上限不源自某一具体理论的缺陷，而根植于分类操作本身。
二、三处断裂
2.1 集合论对自指结构的排除
ZFC集合论中，正则公理规定任何集合不得包含自身为元素，亦不得形成无穷下降的成员链。该公理的直接目的是保证集合论宇宙的良基性。罗素悖论的解决依赖的是更早的分离公理模式——限制集合的构造方式，以更严格的构造规则替代了导致悖论的无限制概括公理。正则公理是在此基础上进一步施加的结构约束。无论其历史动机如何，效果是明确的：一整类结构——自包含、循环成员链——被排除在合法的数学对象之外。
Aczel于1988年建立的非良基集合论，以反基础公理替代正则公理，在语法层面恢复了自包含集合与循环成员链的合法性，体系严格自洽。然而，现代数学的全部主流分支——分析、代数、拓扑、微分几何、概率论、数学物理——无一建立在非良基集合论之上。三十余年来，Aczel的工作始终停留在集合论与逻辑学内部的技术探索层面，仅在计算机科学的进程语义、人工智能的知识表示等有限领域中获得应用，从未成为任何上层数学理论的地基。
这一现象部分源于路径依赖：整个现代数学的知识体系、定理积累、论文系统与人才培养，已围绕ZFC建立超过一个世纪，迁移成本极高。但路径依赖本身不构成对ZFC地基的辩护——住户不愿搬迁，不证明地基没有裂缝。
更值得关注的事实是：一个严格自洽的替代地基存在了三十年，却无人在其上建造任何东西。这一集体选择本身即构成证据——自指结构与现有形式体系之间的张力，不是一条公理能够修补的技术问题。
与此同时，物理世界中的因果循环无处不在。DNA携带的编码指令，其执行产物恰恰是复制该指令本身的分子机器。免疫系统区分"自我"与"非我"，执行判定的系统本身即属于"自我"。自催化反应中产物催化自身的生成。恒星以自身质量产生的引力维持自身结构，同时内部核聚变的辐射压抵抗该引力——维持者与被维持者是同一个物理实体。
形式系统中的成员循环与物理世界中的因果循环并非严格同构。但事实是：循环性是自然界最基本的组织方式之一，而整个数学文明选择站在排除循环的地基上。
2.2 量子场论中的发散与重整化
量子电动力学在计算电子自能等物理量时，直接计算给出发散结果。重整化程序通过重新定义物理参数消除发散，使理论预测与实验吻合至小数点后十二位。
在威尔逊的重整化群框架下，发散的现代理解是：量子场论是有效理论，只在特定能标范围内成立，发散是将低能有效理论外推至无限高能标的数学产物。重整化建立的是不同尺度之间物理规律的联系，不是对无穷大的强行切除。
这一现代理解消解了"硬切无穷大"的旧叙事。但它同时确立了一个事实：物理学的形式框架自带尺度依赖性，每一层理论有其适用边界。物理学界用"有效理论"这一术语公开承认了这种层级性。
问题在于：如果每一层理论都有不可跨越的适用边界，那么"通过理论迭代最终达到无边界的完备描述"这一信念需要额外的论证。它不是自明的。物理学界广泛持有这一信念，但从未论证过它。
2.3 贝尔定理
贝尔定理以数学证明的方式表明：任何同时满足局域性与实在论的理论，其预测必须满足一组不等式。量子力学的预测违反该不等式。自1972年至2015年，多个独立实验一致证实贝尔不等式的违反，2015年实现无漏洞检验。阿斯佩、克劳泽、蔡林格因相关工作获2022年诺贝尔物理学奖。
量子力学的形式体系对纠缠态的描述在域内完美运作，预测精准，不存在逻辑矛盾。纠缠态的不可分解性在希尔伯特空间的张量积结构中有精确表达。本文所关注的不是形式体系内部的运算问题，而是形式化起点处的范畴前提。
两个事实摆在一起：
第一，局域性预设空间的可分割性——"这里"与"那里"是两个独立区域。实在论预设属性的可归属性——粒子"拥有"确定的值。这两条前提是分类操作的基本产物：空间化切割与属性化切割。
第二，贝尔定理证明这两条前提不能同时成立。实验证实了这一点。
物理学界的标准解读是自然本身不满足局域性或实在论。另一种解读同样成立：被否定的不是自然的属性，而是分类的产物——分类制造了"局域性"和"实在论"这两个范畴，贝尔定理证明它们不能同时成立。两种解读分属不同层级，不构成矛盾。但后者意味着：分类操作在最基本的层面上，制造出了与实验事实不兼容的范畴。
当人类描述一个纠缠系统时，分类操作在起点处执行三次切割：个体化——判定这是"两个"粒子；空间化——判定它们"分居两地"；属性化——判定自旋、偏振是各粒子"拥有的"性质。三次切割完成后，描述对象变为"两个具有各自属性的粒子分居两地"。此时"它们之间为何存在关联"才成为困惑。但"两个独立的东西"不是观测到的事实——观测到的事实恰恰是关联。"两个独立的东西"是分类切出来的。
量子力学的形式主义在自己的框架内已经标记了这一点：纠缠态不可分解，不能写成两个子系统态矢量的张量积。形式主义承认了裂缝——但它用来承认裂缝的工具，仍然是"粒子"“态”“空间”"测量"这些分类范畴。
三、数学为何有效
维格纳1960年提出：数学是人类抽象思维的产物，为何它在描述自然时如此有效？
分类操作如同一副滤色眼镜。人类从未摘下过它。数学是对这副眼镜滤色规则的形式化描述。物理学是戴着这副眼镜观察世界后写下的报告。报告与观察吻合，因为二者共享了同一副眼镜。
以麦克斯韦方程组为例。法拉第定律描述变化磁场感生电场：
∇×E=−∂B∂t\nabla \times \mathbf{E} = -\frac{\partial \mathbf{B}}{\partial t}∇×E=−∂t∂B
安培-麦克斯韦定律描述变化电场产生磁场：
∇×B=μ0ε0∂E∂t\nabla \times \mathbf{B} = \mu_0 \varepsilon_0 \frac{\partial \mathbf{E}}{\partial t}∇×B=μ0ε0∂t∂E
二者经纯形式推导——不引入新的经验观测——产出波动方程，预言电磁波以光速传播。赫兹于1887年在实验中证实。
同一模式反复出现：牛顿力学与万有引力推导出开普勒轨道；量子力学与狭义相对论推导出狄拉克方程，方程中自然出现负能量解，狄拉克将其诠释为反物质，1932年安德森在宇宙线中发现正电子；爱因斯坦场方程线性化后产出引力波方程，2015年LIGO探测到引力波。
标准解读是数学推导"发现"了自然的深层联系。另一种解读：公式A是分类对现象甲的压缩结果，公式B是分类对现象乙的压缩结果，推导在压缩后的空间内执行，结果C仍处于压缩空间之内。观测现象丙时，观测同样经过同一副眼镜。C与丙吻合，因为它们是同一个压缩器的产物。推导从未离开过眼镜内部，观测从未绕过眼镜。
规范不变性提供了旁证。同一物理现象可以用不同的数学描述（通过规范变换联系），物理预测对规范选择不变。这意味着数学描述中包含物理实在不具有的多余结构。形式系统的表达空间与物理实在的结构空间之间不是双射——前者不仅可能遗漏后者的结构，甚至制造后者不具有的结构。
本文的框架有一个它无法回答的问题：为何特定的数学结构在特定的物理域中有选择性的有效性？为何黎曼几何适配引力而欧氏几何不行？"共享眼镜"解释了吻合的一般条件，但未解释选择性。这是一个真实的缺口。
四、本文的局限
"物理实在不具有范畴结构"是一个形而上学假设。本文的论证链中，“分类是有损投影而非无损编码"依赖于"被描述对象不具有分类所施加的边界”。该前提无法在分类框架内部验证。如果宇宙本身恰好是离散的、范畴化的，则分类操作可能是无损的，核心命题将不成立。
本文无法证明自身的核心命题。证明依赖分类。用分类证明分类有损，在结构上不可能。本文提供的是迹象的汇聚，不是演绎证明。
对分类框架的全部批判在分类框架内部进行。本文的每一句话都是分类操作的产物。这一自指困境不可消解——与哥德尔第二不完备定理的处境在结构上相似：系统无法在内部证明自身的一致性。
五、两个信念
物理学界广泛持有一个信念：公理化体系的描述能力原则上可以无限延伸——具体理论有适用边界，但更基本的理论终将覆盖旧边界，这一过程没有结构性终点。
本文持有另一个信念：存在不可逾越的结构性上限。
二者都是信念。区别在于：前者是默认持有的、未经论证的信念；后者是显式提出的、附有迹象支撑的信念。
认识到天花板的可能存在，不等于否定天花板之下的一切工作。公理化体系是人类拥有的最好工具，在域内没有更好的替代品。本文不修改任何方程，不提出任何替代理论，不声称现有物理学在任何具体问题上有误。
但"不断精进"与"原则上无限"是两个不同的判断。本文的全部意义在于指出后者可能不成立。
两个判断同时成立：公理化体系在人类可及的范围内完全正确；其描述能力存在人类不可及的结构性上限。前者是科学的工作前提，后者是对该前提之边界的反思。二者分属不同层级，不构成矛盾。
