  Consider an abelian monoid $(M,+,0)$ and a biadditive binary operation $\mu
\colon M \times M \to M$.We will show that under some additional general
assumptions, the operation $\mu$ is automatically associative and commutative.
The main additional assumption is localizability of $\mu$, which essentially
means that a certain canonical order on $M$ is compatible with adjoining some
multiplicative inverses of elements of $M$. As an application we show that a
skew field $\mathbb F$ of characteristic $0$ is commutative provided that for
all $a \in \mathbb F$ there exists a natural number $k$ such that $a-k$ is not
a sum of products of squares. This generalizes the classical theorem that every
Archimedean ordered skew field is commutative to a more general class of
formally real skew fields that do not necessarily allow for an Archimedean
order. Similar results about automatic associativity and commutativity are
well-known for special types of partially ordered rings, namely in the
uniformly bounded and the lattice-ordered cases, i.e.~for $f$-algebras. In
these cases, the abelian monoid in question is given by the positive elements
of the ordered ring. We also discuss how these classical results can be
obtained from our main theorem.
