For example, first-order Peano arithmetic (PA) can prove that "the largest consistent subset of PA" is consistent.
Για παράδειγμα, η πρώτου βαθμού αριθμητική του Πεάνο (PA: Peano arithmetic) μπορεί να αποδείξει ότι το μεγαλύτερο συνεπές υποσύνολο της PA είναι συνεπές.