It's up to you if you think it's "better" but it's answering the question of whe... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		ketralnis on March 24, 2025 \| parent \| context \| favorite \| on: Peano's Axioms 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 on March 25, 2025 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact