On the existence of certain total recursive functions in nontrivial axiom systems, I
Abstract
We investigate the existence of a class of ZFC-provably total recursive unary functions, given certain constraints, and apply some of those results to show that, for
Σ
1
-sound set theory, ZFC
⊬P<NP
.