Replies to message #56

🔎 If you see an alert for analytics.usips.org, this is a self-hosted system I am running as a test. It is GDPR compliant and collects no invasive information.

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...