Do we have any axioms that allow us represent Cartesian coordinates on a graph in euclidean space or is it purely intuitive? It's easy to intuitively justify where $(0,1)$ and $(1,1)$ would lie in space in relation to the origin and to each other. Is the Cartesian Coordinate system just a tool to intuitively represent real or complex, ect. functions? Or can we build it from axioms?
Is the calculus of $\mathbb R$ a model for Cartesian/Euclidean space? Can we fit real analysis into the axioms of Euclid or say Hilbert's (foundational) geometry? And if so how do we jump from Euclidean geometry where points and lines, etc. don't have actually "positions" in space to Cartesian coordinates where they do?