Assume consistency. Take the collections of all true statements about the standard model of the natural numbers and make these statements your axioms. Now every true statement about the standard model of the natural numbers is provable. It’s a useless axiomatic system since there is no procedure for knowing if a statement is an axiom of not (that works for every statement). The second order Peano axioms are categorical and assuming consistency every true statement is ‘provable’.