Whether P and NP are equal is an arithmetic statement; it's either true or not true, but we may not have the proof systems required to demonstrate it. Your exc

Whether P and NP are equal is an arithmetic statement; it's either true or not true, but we may not have the proof systems required to demonstrate it. Your excerpted sentence is already quite concise compared to serious surveys like https://www.scottaaronson.com/papers/pnp.pdf https://www.scottaaronson.com/papers/pnp.pdf