欧几里得几何
Axiomatic basis of non-Euclidean geometry.