It is not the case that IΔ_0 with the axiom Ω_1 (asserting totality of exponentiation) is a consistent extension that many foundationalists accept as the correct base theory.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.