Abstract

Even if the ordering of all natural number is (known to be) not definable from multiplication of natural numbers and ordering of primes, there is a simple axiom system in the language $(\times,<,1)$ such that the multiplicative structure of positive integers has a unique expansion by a linear order coinciding with the standard order for primes and satisfying the axioms – namely the standard one