Well, I've done following:
Suppose that , but hence it's a contraction because and .
Therefore Is it correct?
It is difficult to answer that. We don't even know what set of axioms are in use here.
Here is a standard theorem in the development of number systems.
Given any two numbers, if then
That depends upon Archimedes' principle and well ordering.