No consensus model of computation suggests P vs NP is actually independent of ZFC; believed independ...
This proposition has not been edited since the history system was added.