I provided a direct axiomatization of integers for instance under the MO question Axiomatic definition... by @Victor Makarov, in the post Part 2: Cyclands and integers. This axiomatization makes no direct reference to the natural numbers, or to any linear order.
Włodzimierz Holsztyński
- 7.5k
- 1
- 35
- 51