Ordered field/1 and 0/Exercise

Let ${}K$ denote an ordered field. Show, only using the axioms of an ordered field, that ${}1>0$ holds.

Create a solution