Matemático activo en la Alejandría helenística, Euclides compiló en los Elementos el primer sistema axiomático-deductivo de la geometría: a partir de un conjunto reducido de postulados y axiomas, demostró de forma rigurosa varios centenares de proposiciones de geometría plana y del espacio, teoría de números y proporciones. La obra, en trece libros, se convirtió en el modelo de referencia del razonamiento matemático deductivo durante más de dos mil años. Transmitida al mundo árabe mediante varias traducciones sucesivas —la primera de Al-Hajjaj ibn Yusuf hacia 820, revisadas después por Ishaq ibn Hunayn y por Thabit ibn Qurra—, llegó finalmente a la Europa latina a través de Gerardo de Cremona en el siglo XII.