欧几里得几何
Euclidean geometry is assumed throughout.