欧几里得

编成《几何原本》，奠定公理化证明传统。

生平

欧几里得的生平几乎没有留下记载，只知道他活跃于托勒密一世治下的亚历山大城，可能曾在雅典的柏拉图学园求学。当时亚历山大城的缪斯宫刚刚建立，汇聚了地中海世界的学者与藏书，成为希腊化时代的学术中心。

他把此前数代希腊数学家零散的成果整理成《几何原本》十三卷，从少数公理与公设出发，用严格的逻辑推导出全部命题，建立了延用两千余年的公理化证明范式，内容涵盖平面几何、数论与立体几何。

后世常把书中每一条定理都归功于他本人独创，其实不少内容承袭自毕达哥拉斯学派与欧多克索斯等前人，欧几里得的真正贡献在于系统整理与严密的逻辑组织；关于他是否确有其人、抑或是亚历山大学派集体署名，学界至今仍有讨论。

关键编年史

• 前330约生（生平不详）
• 前300在亚历山大缪斯宫编纂《几何原本》
• 前290确立五公设与公理化证明法
• 前270学派在亚历山大延续讲授
• 前260约卒（具体年代不详）