Question: is p versus np formally independent?
Answer: On this view, P vs. NP is no more likely to be formally independent than Goldbach's Conjecture, the Riemann Hypothesis, or any other 'natural' mathematical problem.