historically, euclid's parallel postulate has turned out to be independent of the other axioms. simply discarding it gives absolute geometry, while negating it yields hyperbolic geometry. other consistent axiom sets can yield other geometries, such as projective, elliptic, spherical or affine geometry.