Euclid formulated 5 postulates for what we now call Euclidean geometry.
However, modern university level mathematics no longer develop mathematics on the basis of such geometric axioms.
Rather, they start out with basic concepts such as fields, vector spaces, topological spaces, affine spaces, metrics, manifolds, etc, and then(among other things) build geometric systems on the basis of that.
This seems to me to be even very different from 19th century re-axiomatizations of Euclidean geometry.
How is Euclid's axiomatization of geometry connected to the modern system? How do we reformulate Euclid's (or 19th century versions) in terms of modern notions such as affine spaces, metrics, etc?
