Euclidean geometry
Extension to non-Euclidean geometry.