No; in fact this axiom is equivalent to the order being total. To see this, set $y = -x$. Then $x + (-x) = 0 \ge 0$, hence either $x \ge 0$ or $-x \ge 0$, and then setting $x = a - b$ shows that either $a \ge b$ or $b \ge a$.
No; in fact this axiom is equivalent to the order being total. To see this, set $y = -x$. Then $x + (-x) = 0 \ge 0$, hence either $x \ge 0$ or $-x \ge 0$, and then setting $x = a - b$ shows that either $a \ge b$ or $b \ge a$.