It is not the case that Peano's axiomatization treats the induction schema as a primitive axiom from which theorems are derived, not as a grammatical stipulation, and this framework successfully grounds arithmetic.
?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.