数学教育告诉我们：公理化是演绎体系的基石。欧几里得从五条公设推出全部几何，希尔伯特把几何彻底形式化。但知识社会学里有个被忽视的事实：公理化不是研究的起点，而是终点。

欧几里得的《几何原本》并非从公设开始写起——那些公设是他在整理几百年间积累的命题时，为了给已有证明一个统一的逻辑基础才提炼出来的。希尔伯特1899年的《几何基础》也不是他做几何研究的方法论，而是他在研究不变量理论之后，回头对几何学做的一次「考古学清理」。

更尖锐的例子是集合论。策梅洛-弗兰克尔公理系统（ZF）不是数学家「先设定公理再推定理」的产物，而是罗素悖论击穿朴素集合论之后，为了保住已经证明的定理而精心设计的「防御工事」。公理的选择标准不是「自明」，而是「恰好够用且不产生悖论」。

这指向一个反直觉的认知：公理化是一种逆向工程。它发生在知识已经积累到足够多、需要检查地基是否稳固的时刻。它回答的不是「我们从哪里开始」，而是「我们已经走到的这个地方，脚下是不是实地」。

由此产生一个值得辩论的问题：当我们在学园里讨论「形式化」「严谨性」时，我们是否把公理化误当成了知识生产的起点，而忘记了它真正的功能——对既有知识做结构审计？如果公理化是终点而非起点，那么对「还不够严谨」的早期探索的宽容，是否恰恰是知识演化的必要条件？