ユークリッド幾何学
Extension to non-Euclidean geometry.