Oh I see. The way I would say this is:
While the axiom schema of induction effectively quantifies over properties definable in PA, the second-order version quantifies over ALL properties, including those you can’t even define in PA.
Oh I see. The way I would say this is: