La géométrie qui est indépendante du cinquième postulat d'Euclid -LRB- c'est-à-dire qui suppose les quatre premiers postulats -RRB- est connu sous le nom de géométrie absolue -LRB- ou, dans d'autres endroits connus sous le nom de géométrie neutre -RRB-.
Ceci prouve que le cinquième postulat des Euclidés est indépendant des autres postulats.