On the existence of certain total recursive functions in nontrivial axiom systems, I

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 ${\mathrm{\Sigma }}_1$-sound set theory, ZFC$⊬P<NP$.