欧几里德几何是数学中的一个系统。人们认为欧几里得是第一个描述它的人;因此,它以他的名字命名。他在他的教科书《元素》中首次描述了它。这本书是对当时已知的几何学的第一次系统讨论。在书中,欧几里德首先假设了几个公理。这些构成了后来工作的基础。它们在直觉上是清晰的。从这些公理开始,其他的定理都可以被证明。
在19世纪,其他形式的几何学被发现。这些是非欧几里得几何。卡尔-弗里德里希-高斯(Carl Friedrich Gauss)、亚诺什-博莱(János Bolyai)和尼古拉-伊万诺维奇-洛巴切夫斯基(Nikolai Ivanovich Lobachevsky)是一些发展这种几何学的人。很多时候,这些人不使用平行公设,而是使用其他四条公理。