现代结构语言：群、集合、公理与模型

现代数学的一大变化，是对象不再只按外形分类，而按结构分类。群、环、域、向量空间、拓扑空间、序结构，这些词把数学从具体对象推向关系系统。

伽罗瓦理论是重要源头之一。方程能否用根式求解，不再只看公式技巧，而要看根之间置换形成的结构。方程问题因此变成群的问题。

集合论提供了更一般的语言。康托尔研究无穷集合，迫使数学家承认不同层级的无穷，并发明新的比较方式。

公理化方法把结构语言稳定下来。只要对象满足一组公理，它就属于某种结构。数学家因此可以同时研究许多看似不同、实则同构的例子。

模型观念进一步改变基础问题。公理不只是描述唯一世界，也可以有多个模型。非欧几何正是这种观念的早期典型。

布尔巴基把结构语言推成二十世纪数学写作风格。他们强调从集合和结构组织数学，弱化具体计算传统。这种风格影响深远，也引发过教学争议。

结构语言的好处是统一和迁移。一个定理若只依赖群公理，就可以同时用于整数模加法、置换群和几何对称。

代价是入口变高。抽象结构容易让读者忘记原问题。灯下读这些材料时，要不断把结构带回它解决了什么旧问题。

现代结构语言不是古典数学的否定，而是从古典问题中长出的新语法。伽罗瓦、希尔伯特、戴德金和非欧几何都在这条线上相遇。