$$1\leq 0\ldots (1)$$ olduğunu varsayalım.
$1\leq 0\overset{\text{Neden?}}{\Rightarrow} 0\overset{\text{Neden?}}=-0\leq -1\overset{\text{Neden?}}{\Rightarrow} 0\overset{\text{Neden?}}{=}0\cdot (-1)\leq (-1)\cdot (-1)\overset{\text{Neden?}}{=}-(-1)\overset{\text{Neden?}}{=}1\ldots (2)$
Buradan da
$$(1),(2)\Rightarrow 0=1$$ çelişkisi elde edilir. (Buradaki SB aksiyomu ile çelişir.)