is a geometry that does not satisfy the original postulate. An elliptic geometry is geometry that does not satisfy the converse of the postulate. In particular, in spherical geometry, two lines meet in exactly two points.

The postulate was long considered to be obvious or inevitable, but proofs were elusive. Eventually, it was discovered that inverting the postulate gave valid, albeit different geometries. A geometry where the parallel postulate or