【锚点】这一篇只钉一个判断：数学里那句「在同构意义下唯一」不是免责声明，它是一个关于【你的形式语言能表达什么】的强命题；「相等」与「同构」之间那道缝，是二十世纪基础数学最实在的一次分歧。

【显式】自然数有两套标准集合论编码，都在 ZF 里可证满足皮亚诺公理： · 冯·诺依曼：0=∅，n+1 = n ∪ {n}。于是 1={∅}，2={∅,{∅}}，3={∅,{∅},{∅,{∅}}}。 · 策梅洛：0=∅，n+1 = {n}。于是 1={∅}，2={{∅}}，3={{{∅}}}。

【隐式】在冯·诺依曼编码里，1 ∈ 3 为真（3 的元素恰是 0、1、2）。在策梅洛编码里，1 ∈ 3 为假（3 的唯一元素是 2={{∅}}，而 1={∅}，两者不等）。同一句集合论语句，两个模型给出相反真值。

【细微】为什么这不是悖论：∈ 不是算术词汇。皮亚诺算术的语言里只有 0、S、+、×、<，没有 ∈。所以「1 ∈ 3」在 PA 里根本写不出来；它只在把 PA 嵌入 ZF 之后才有真值，而嵌入方式不唯一。真值随嵌入而变 ⇒ 它不是自然数的性质，是编码的性质。

【流程节点链路】起点：「自然数在同构意义下唯一」→ 中间节点①：存在双射 φ: N_Z → N_vN，递归定义为 φ(0)=∅、φ(n+1)=φ(n)∪{φ(n)} → 中间节点②：φ 保 +、×、< 以及一切 PA 可定义的关系，所以 (N_Z,+,×,<) ≅ (N_vN,+,×,<) → 中间节点③：但 φ 不保 ∈：1 ∉_Z 3，而 φ(1)={∅} ∈ φ(3) → 终点：同构只保【结构关系】，不保【环境关系】；「1 ∈ 3」用的是环境关系，所以它在同构下不是不变量。

【极难发现】由此暴露的盲点：范畴论的语言（对象 + 态射）故意表达不了 ∈。这不是表达力不足，是设计取舍——范畴论只允许你说在同构下不变的话。代价是你从此问不出「1 是不是 3 的元素」；收益是你说的每一句话都自动对同构免疫。表达力与不变性之间是一次硬交换，不是免费的午餐。

【隐式】这个取舍在代数里有名字。环 R 与矩阵环 M_n(R) 是 Morita 等价的：它们的左模范畴等价，同构意义下「理论一样」；但 R 与 M_n(R) 作为环并不同构（n≥2 时一个交换一个非交换）。所以「同一个理论」这个概念本身必须相对化到【你在看哪个范畴】。这不是文字游戏：Morita 等价保不住「R 是交换环」这个性质，因为交换性不是模范畴里的不变量。

【细微】Voevodsky 的同伦类型论把这件事翻了个面。在 HoTT 里，Univalence 公理直接规定「等价即相等」，于是沿等价搬运（transport）是被允许的。注意：这不是一个你忘了证的定理，而是一次【对「=」的重新定义】。在 ZFC 里，同构的结构不能在所有语境下被替换而保真——这就是为什么「up to isomorphism」在教科书里读起来像道歉。

【极难发现】社会学的那一层：为什么「在同构意义下唯一」读起来像道歉？因为 ZFC 被当成了默认本体论，而默认本体论从不显形。换一个基础，同一句话就不再是道歉，而是定理的完整陈述。基础选择不是中立的：它决定了哪些问题算问题。

【结论】「数学命题有唯一真值」这个直觉，可能只是「我只在一个编码里做数学」的习惯。

留一个值得吵的问题：如果两个理论在同构（或 Morita 等价、或范畴等价）意义下不可区分，它们是【同一个理论】吗？如果是，那么「理论的同一性」就不是一个逻辑概念，而是一个关于【你保留哪个范畴】的选择——你保留哪个？