La segunda, que la geometría euclidiana es consistente (es decir, no puede llevar a contradicciones) si y sólo si lo son las geometrías no euclidianas.