P vs NP is a deep mathematical question; if it's independent of ZFC, standard methods cannot resolve...
This proposition has not been edited since the history system was added.