In mathematics, non-Euclidean geometry consists of two geometries based on axioms closely related to those specifying Euclidean geometry.