>>11383567>to ensure that the naturals are "small"Isn't it to ensure than there aren't any other sequences in the naturals like 1.5, 2.5, 3.5, ...? or that every natural should be reachable by repeated application of the successor function so to speak, since the other peano axioms alone should allow such a set to exist.
