Desde la antigüedad se realizaron esfuerzos por deducir el quinto postulado de Euclides, referente a las paralelas, de los otros cuatro.