How can one show/prove that $0<1$?
$1$ is not actually defined to be greater than zero, but I think it can be proven. I already know that the real numbers are an ordered field and I am familiar with the field axioms and the definition of a total ordering. However I do not know how to start such a proof.
Any kind of help or advice will be really appreciated.