非欧几何的诞生
平行公设悬置两千年，了结它的方式不是证明，而是承认：公理可以是选择。几何由此从「空间的科学」变成「可能空间的科学」。
第五公设：不像公理的公理
欧几里得用五条公设撑起《几何原本》的演绎大厦（见古希腊数学 证明的发明）。前四条短如常识：两点定一直线、线段可无限延长、凡直角皆相等；唯独第五条冗长绕远，谈的是直线延伸到任意远处后的行为——截线同侧内角和小于两直角，则两线必在该侧相交。
麻烦不在它可能错，而在它不像公理——结论的气味太浓，分明是一条待证的定理。于是两千年执念开场：从托勒密到奥马·海亚姆，每个「证明」都偷偷启用了等价命题，如「过直线外一点恰有一条平行线」（普莱费尔，1795）。第五公设成了喉咙里的刺：咽不下，拔不出。
萨凯里：归谬法推到尽头，矛盾没有来
正面强攻不成，1733 年耶稣会士萨凯里改用归谬法：假设第五公设为假，硬推出矛盾。他从四边形顶角的直角、钝角、锐角三种假设出发，在锐角假设下推出几十条离奇却自洽的定理——三角形内角和小于 、不存在相似而不全等的图形——矛盾始终不来。最后他写下「锐角假设绝对为假，因为它与直线的本性相抵触」，用审美判决代替逻辑判决，与史上最伟大的发现之一擦肩而过。教训后来才看清：矛盾不来，因为根本没有矛盾。
高斯的沉默与双曲几何的降生
最先想明白的却是高斯——他 1810 年代已私下确信新几何自洽，却拒绝发表，惧怕「波哀提亚人的叫嚷」。公之于众的是两个帝国边缘的年轻人：喀山的罗巴切夫斯基 1829 年发表《论几何原理》，特兰西瓦尼亚的鲍耶 1832 年把同一体系写进父亲著作的附录。两人做的事小得惊人：把第五公设换成「过直线外一点至少有两条平行线」，其余公设原封不动，一路推下去——世界没有崩塌，双曲几何自己长了出来：过一点有无穷多条平行线，三角形内角和小于 且亏角正比于面积，尺度内在于空间。鲍耶在给父亲的信里写道：「我从无中创造了一个全新奇异的世界。」
黎曼：把曲率变成局部变量
双曲几何只动了一条公理；黎曼 1854 年在哥廷根的就职演讲《论几何学基础中的假设》追问得更深：几何凭什么要由一组全局公设一次定死？他把空间抽象为 n 维流形（manifold），度量由 局部给出，曲率随之成为逐点可变的量：正曲率处过直线外一点无平行线（椭圆几何），零曲率处恰一条（欧氏几何），负曲率处无穷多条（双曲几何）。三种几何不再是互斥的世界观，而是同一套度量语言里曲率的三个区间；欧氏几何降格为「处处曲率为零」的特例。
要么都对，要么都错：模型终结争论
「推不出矛盾」只是经验，不是保证。1868 年贝尔特拉米用伪球面在欧氏空间里局部实现双曲平面，1871 年克莱因的圆盘模型装下整张平面：盘内的点充当「点」，弦充当「直线」——手法正是解析几何的诞生的遗产，用坐标把一种几何的对象翻译成另一种几何。翻译保持逻辑结构，双曲几何里的任何矛盾都会原封不动变成欧氏几何的矛盾：两套几何相对相容，要么同时对，要么一起错。欧氏几何的独尊地位在数学上无从辩护；平行公设独立于其余公理，不是体系的漏洞，而是体系的一道门。
当公理变成选择
门一开，「自明真理」退位：公理成为选择、一组隐式定义——选定公理，即选定要研究的结构。希尔伯特 1899 年的《几何基础》把这个新公理化观打磨成型，数学研究的不再是唯一空间，而是公理划定的所有可能空间。这份松动与罗素悖论（数学三次危机的第三幕）先后击碎「数学即真理」的旧约，汇成二十世纪初的地基焦虑，引来数学基础三大学派与哥德尔的裁决。
回报越过数学抵达：1915 年爱因斯坦把引力写成时空曲率，所需的语言——度量、测地线、曲率张量——黎曼在六十年前已经备好。今天，同一块背景板立在机器学习身后：流形学习假设高维数据贴着低维流形分布，双曲嵌入用负曲率容纳树的层级。欧几里得没能锁死空间的形状，他替所有可能的形状留了门。