ZFC, or that polynomial-time algorithms for NP-complete problems may exist, but it is impossible to prove in ZFC that such algorithms are correct.
ZFC, ή πως οι αλγόριθμοι πολυωνυμικού χρόνου για τα NP-πλήρη προβλήματα μπορεί να υπάρχουν, αλλά είναι αδύνατο να αποδείξουμε στο ZFC ότι αυτοί οι αλγόριθμοι είναι σωστοί.