Eventually some mathematicians tried to build new geometries without using the axiom. One kind of Non-Euclidean geometry is called elliptic geometry. In elliptic geometry the parallel postulate is replaced by an axiom that states that: