Replies to message #56

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