NP-hardness definitions presuppose only that NP is well-defined; they make no assumption about P≠NP ...
This proposition has not been edited since the history system was added.