Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
One more on the more obvious side, shouldn't a line still be, albeit a degenerate, case of a Euclidean space on which one can do Euclidean geometry? That's why I didn't have A1
@moishe kohan I don't see anything missing from your reinterpretation except from the A3. Isn't this supposed to be a version of the playfairs axiom? I mean, and maybe someone said this, my question could (almost) be stated as "is every geodesic complete metric space with playfairs axiom an euclidian space"?
I did point out every time I patched or updated something and asked if it could be pardoned in the interest of the question. I still think it wasn't changed much..
I only said to moishe kohan that saying this question is not research level and than answering it by a research level text reference seems contradictory.
You said geodesics here have only 2 points, that's what the continuity axiom negates and that's what you said is wrong with 3 by itself, that that it allows non unique geodesics..
Even originally I had one additional axiom for continuity, as I posted I realised it could have been stated in a better way but then there were already comments and I didn't want to change the question too much.
So why I said you answer is to involved for math SE is because you require i know what an Lp space is and then refer to a graduate to research level paper. So that by definition then is an answer on that level so how then is the question not provided the answer is suitable for it?