All Questions
2
questions
3
votes
3
answers
250
views
Why can we prove facts about Euclidean geometry using coordinate method?
It's easy to show that coordinate geometry based on real number axioms satisfies the Euclidean postulates.
But how do we go the other way around?
Say we prove an arbitrary* statement about Euclidean ...
2
votes
0
answers
68
views
Existence of a Precise axiomatization of Eudoxus theory of magnitude
Is there a precise axiomatization of the Eudoxus theory of proportions? For example,
a) (D, +, <) is a structure such that < is a strict linear order,
b) + is an order-preserving ...