These barriers have also led some computer scientists to suggest that the P versus NP problem may be independent of standard axiom systems like ZFC (cannot be proved or disproved within them).
Αυτά τα εμπόδια έχουν επίσης οδηγήσει τους τους επιστήμονες πληροφορικής στο συμπέρασμα πως το πρόβλημα P εναντίον NP μπορεί να είναι ανεξάρτητο των τυπικών αξιωματικών συστημάτων όπως το ZFC (δε μπορεί να αποδειχθεί ή να απορριφθεί μέσα τους).