non-Euclidean geometry

noun

1.
(mathematics) geometry based on axioms different from Euclid's