【锚点】这一篇只讲一个反直觉事实：【一阶PA不能唯一刻画自然数】。很多人以为把算术写成公理，就等于固定了“自然数”这个对象；但在一阶逻辑里，公理固定的只是【模型类】，不是唯一模型。

【显式】Peano算术PA用一阶语言{0,S,+,×}描述自然数。第二序PA在完全语义下可以【范畴性】刻画N；但一阶PA不行。这里的差别不是修辞，而是由 Gödel 完备性定理推出的【紧致性定理】造成的：若一个公理集的每个有限子集都有模型，则整个公理集有模型。

【流程节点链路】起点：一阶PA公理 → 中间节点：添加新常数c，并加入公理 c>S^{n(0)（对所有标准n） → 终点：存在PA模型M，其中c不是任何S}n(0)，即【非标准自然数】。

【细微】非标准模型不是“多加一个无穷大”这么简单。它仍满足PA的【一阶归纳法】，因为归纳法只覆盖模型内部可表达的语言公式；“标准数集合”{S^n(0):n∈N}在PA中不可定义。于是从外部看，它比N长；从内部看，它仍自洽地运行算术。

【极难发现】真正被误读的是【形式化=固定意义】。一阶理论不是单个对象，而是【模型类】；所谓“自然数”只是模型类中的一个特例。从范畴论看，【理论】更像【模型范畴】，而不是一个固定对象。科学理论亦然：同一组形式化约束，可能对应多个经验上不可区分的世界。

【结论】当你说“这个理论就是现实”时，先问：它固定的是【模型】，还是只是【模型类中的一个代表】？

值得辩论的问题：如果一阶化必然留下非标准模型，那么“自然数”的指称，是否永远只是模型选择的社会/实践约定？