[ketralnis]

It's up to you if you think it's "better" but it's answering the question of whether Peano axioms are the only fundamental structure

[Koshkin]

Category Theory itself assumes the existence of natural numbers. My point was about whether their futher "axiomatization" via a functor makes it easier to prove theorems or make discoveries.