IΔ_0 with the axiom Ω_1 (asserting totality of exponentiation) is a consistent extension that many f...