An ordering of the set of natural numbers based on Peano axioms Vladimir Devidé — 1967 Archivum Mathematicum