Estos teoremas, junto con sus postulados alternativos, como el "axioma de Playfair", pueden ser vistos como el comienzo de la geometría no euclidiana.