La geometría que es independiente del quinto postulado (i.e.