This illustrates one way the first-order system PA is weaker than the second-order Peano axioms.
Αυτό δείχνει ότι κατά μία έννοια το πρώτης τάξης σύστημα αξιωμάτων PA είναι ασθενέστερο του συστήματος αξιωμάτων Πεάνο δεύτερης τάξης.