Pendant deux mille ans, de nombreuses tentatives ont été faites pour prouver le postulat parallèle en utilisant les quatre premiers postulats d'Euclid.
Cela prouve que le cinquième postulat d'Euclid est indépendant des autres postulats, après quoi les mathématiciens ont cessé d'essayer de prouver le cinquième postulat à partir des quatre autres postulats.