If P ≠ NP could be false, then conclusions about NP-completeness rest on an unvalidated assumption, ...
This proposition has not been edited since the history system was added.