Proving $1 > 0$ using only the field axioms and order axioms

4.5k Views Asked by At

How do I prove $1 > 0$ using only field axioms and order axioms? I have tried using the cancellation law, with the identities in a field and I cannot get anywhere. Does anybody have any suggestions?

1

There are 1 best solutions below

3
On BEST ANSWER

Suppose $1 < 0$. Adding $(-1)$ to both sides we'd also have $0 < -1$ (addition axiom). But if $0 < a$ then it must also hold that $0 < a^2$ (multiplication axiom). For $a = -1$ this means $0 < (-1)^2 = 1$, a contradiction.