Euclidean geometry
Axiomatic basis of non-Euclidean geometry.