The claim presupposes that NP-completeness is a property stable across all formal systems, but Gödel...