La geometría euclidiana es un sistema de las matemáticas. Se cree que Euclides fue la primera persona que lo describió; por ello, lleva su nombre. La describió por primera vez en su libro de texto Elementos. El libro fue la primera discusión sistemática de la geometría tal y como se conocía en aquella época. En el libro, Euclides asume primero unos cuantos axiomas. Éstos constituyen la base de los trabajos posteriores. Son intuitivamente claros. A partir de esos axiomas, se pueden demostrar otros teoremas.

En el siglo XIX se encontraron otras formas de geometría. Se trata de la geometría no euclidiana. Carl Friedrich Gauss, János Bolyai y Nikolai Ivanovich Lobachevsky fueron algunas de las personas que desarrollaron tales geometrías. Muy a menudo, éstas no utilizan el postulado paralelo, sino los otros cuatro axiomas.