Yes it is true in the unique model of second order PA, aka the computable model, aka the "standard" model.