Non-Euclidean geometries

Hyperbolic (Lobachevsky, Bolyai) and spherical geometries: drop or replace the parallel postulate and angle sums become < π (hyperbolic) or > π (spherical). Foundational for general relativity.