[deleted] comments on Standard and Nonstandard Numbers

[[deleted]]

Nice post! Are you going to get into Dedekind’s proof that all models of the second-order Peano axioms are isomorphic?

Edit: Fixed typo.