This post describes Peano’s Arithmetic, not Peano's axiom, even though it says the latter. Induction is a second order quantification over predicate. Just sayin

This post describes Peano’s Arithmetic, not Peano's axiom, even though it says the latter. Induction is a second order quantification over predicate. Just saying induction is true for all predicate is PA.