  Our main result, Theorem 3.3, uses Friedman's Jump Free Theorem, Theorem 2.7,
which he has shown to be independent of ZFC, the usual axioms of set theory. We
conjecture that Theorem 3.3, a straight forward translation of the statement of
Theorem 2.7 into sets and functions, is also independent of ZFC as is its
immediate Corollary 3.4. It is easy to show that a proof that P=NP will also
prove Corollary 3.4. If Corollary 3.4 is in fact independent of ZFC then a ZFC
proof of P=NP is impossible, perhaps because it is false.
