Independence results exist for other major conjectures; independence for P≠NP would fit a pattern of...
This proposition has not been edited since the history system was added.