欧几里得(公元前330年-275年),古希腊数学家,是几何学派、数论派和数学公理化的奠基人。欧几里得最著名的成就是他著作的几何原本,它是一部有系统、条理清晰的有关几何的著作。欧几里得的几何学是基于公理推理的学科,他把几何学从实证转化为一门理性科学。
欧几里得认为公理是一切推理的起点,凡能够从定理推知的都是合法的,不能从公理推知的则是非法的。因此,欧几里得的许多定理、定义都具有公理性质。在他的模型中,点、直线、角等基本概念都是通过公理来定义的。
值得一提的是,欧几里得不仅开创了几何学理论,而且对后来的重要数学成果影响巨大。例如,第五公设(平行公设),便是数学上的一颗明珠。欧几里得的几何理论,也成为了人类文明的宝贵财富。