Forum:FGH and PTO's

For ANY valid fundamental sequence system, does \(f_{\varepsilon_0}\) outgrow all functions provably recursive in Peano arithmetic? it's vel time 17:31, November 14, 2014 (UTC)