The interpretation of an independence result could be that either no polynomial-time algorithm exists for any NP-complete problem, and such a proof cannot be constructed in (e.g.)
Η ερμηνεία ενός ανεξάρτητου αποτελέσματος θα μπορούσε να είναι πως είτε δεν υπάρχει αλγόριθμος πολυωνυμικού χρόνου για κάθε NP-πλήρες πρόβλημα, και συνεπώς μια τέτοια απόδειξη δε μπορεί να κατασκευασθεί στο (π.χ.)