Arithmetic existed long before its axiomatization. Arithmetic was useful and no one stumbled upon contradictions in it. So it was natural to suppose that it can be described by some axiomatic system. Peano found it.
It is a system for modeling concepts invented by man. Everything that falls out of such a system is a product of the invention. Numbers don't inherently exist. Everything derived from that concept can't be a "discovery".