Is the P versus NP question asking "P = NP" or "ZFC |- P = NP" (or "|- P = NP" for that matter)? Because if I say P = NP, then I will be asked to prove it. But if the goal is "ZFC |- P = NP" then the result will not be useful because of the set theoretic assumptions of ZFC. So you may say the third choice matches our intuition, but it's not a (complete) question. If P = NP, then we are asked to prove |- P = NP and if P != NP we are not asked ~(|- P = NP) but |- P != NP. So what is the P versus NP question asking?
Actually this question can be asked for any question, it's not about P versus NP alone.