When the conjecture $\mathbf{P} = \mathbf{NP}$ or $\mathbf{P} \neq \mathbf{NP}$ is set (e.g. by the Clay Mathematical Institute by S. Cook, see here) what mathematical axiomatic system is assumed?In order to prove or disprove such statements, you need to assume some axioms. Which ones? Only the Peano (2nd order formal language) arithmetic? The ZermeloFraenkel set theory with the axiom of choice? Smaller axiomatic set theories (e.g. Gdel's constructible sets, where the continuum hypothesis holds too, see here)?Obviously, it should be an axiomatic theory that accepts the countable infinite. But which in particular? Is there any published result that would prove them consistent in a particular axiomatic set theory? (In other words, defining a model in which it is true, but not claiming to be true in all models).
What is the axiomatic (set theory) context of the P vs NP and NP=EXPTIME conjectures?
cc.complexity theory;model theory