We currently have no reason to suspect that the statement P ≠ NP is formally independent of the math...