On a construit des modèles dans la géométrie euclidienne qui obéissent aux axiomes de la géométrie hyperbolique, prouvant ainsi que le postulat parallèle est indépendant des autres postulats d'Euclid.
On a construit des modèles dans la géométrie euclidienne qui obéissent aux axiomes de la géométrie hyperbolique ; ces modèles prouvent que le postulat parallèle est indépendant des autres postulats d'Euclid.