There is no first order property of a totally ordered group $G$ which (a) implies that $G$ is archimedean (b) is satisfied by the real numbers (with the usual order and usual addition).