Hacker News new | past | comments | ask | show | jobs | submit login

How is the definition of Successor so obvious, even if you explain it? How can I understand what it so obviously means?



It's an axiom. We are talking specifically about 2+2=4 being trivial because it falls out of the axioms.

https://en.wikipedia.org/wiki/Peano_axioms




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

Search: