What PA does not prove is that the largest consistent subset of PA is, in fact, the whole of PA.
Αυτό που η PA δεν αποδεικνύει είναι πως το μεγαλύτερο συνεπές υποσύνολο της PA είναι, στην πραγματικότητα, ολόκληρη η PA.