La antaño sorprendente existencia de modelos no euclidianos de los cuatro primeros axiomas de Euclides puede considerarse una especie de broma matemática.