Peano's Axioms: their real origin

It is well-known that Guiseppe Peano formalized the axioms that, to some extent, motivated mathematical induction. These are known as Peano's axioms. However, these axioms are often called trivial as they are quite obvious, whether stated formally or not. Was Peano really the first one to come up with this set of axioms? Is there proof that he was the first one to make such a complete formalization of the natural numbers?

• Oops, didn't notice it $-$ thanks! – Ahaan S. Rungta Dec 29 '14 at 15:52