Respuestas al mensaje #56

🔧 Site instability resolved. You can report double-posts and broken attachments. For bigger issues, use the Technical Grievances thread.
🇵🇦 Nuestro primer dominio localizado está en español en kiwifarms.pa. Our first localized domain is on Spanish on kiwifarms.pa.

It falls out pretty easily from the Peano axioms and some reasonable definition of "greater/less", if that's how you want to model arithmetic...

I'm not sure if you're joking about the calculus ones but if not I recommend this playlist. Especially if you're looking for an intuition rather...