non-Euclidean and projective. Historically, axiomatic geometry marks the origin of