Additionally, this result implies that proving independence from PA or ZFC using currently known techniques is no easier than proving the existence of efficient algorithms for all problems in NP.
Επιπλέον, αυτό το αποτέλεσμα υποδεικνύει πως το να αποδείξει κανείς την ανεξαρτησία από τα ΑΠ ή το ZFC χρησιμνοποιώντας τις ήδη γνωστές τεχνικές δεν είναι ευκολότερο από το να αποδείξεις την ύπαρξη αποδοτικών αλγορίθμων για όλα τα προβλήματα στο NP.