From Affine to Euclidean Geometry: An Axiomatic Approach