欧几里得几何
Extension to non-Euclidean geometry.