ユークリッド幾何学
Axiomatic basis of non-Euclidean geometry.