I’ve never got a fully satisfactory answer to this. Basically the natural numbers are (informally) a minimal model of peano arithmetic—you can never have any model “smaller” than them.
And it may be possible to fomarlise this. Take the second order peano axioms. Their model is entirely dependent on the model of set theory.
Let M be a model of set theory. Then I wonder whether there can be models M’ and N of set theory, such that:
there exists a function mapping every set of M to set in M’ that preserves the set theoretic properties. This function is an object in N.
Then the (unique) model of the second order peano axioms in M’ must be contained inside the image of model in M. This allows us to give an inclusion relationship between second order peano models in different models of set theory. Then it might be that the standard natural numbers are the unique minimal element in this inclusion relationship. If that’s the case, then we can isolate them.
Then it might be that the standard natural numbers are the unique minimal element in this inclusion relationship.
Why would we care about the smallest model? Then, we’d end up doing weird things like rejecting the axiom of choice in order to end up with fewer sets. Set theorists often actually do the opposite.
I’ve never got a fully satisfactory answer to this. Basically the natural numbers are (informally) a minimal model of peano arithmetic—you can never have any model “smaller” than them.
And it may be possible to fomarlise this. Take the second order peano axioms. Their model is entirely dependent on the model of set theory.
Let M be a model of set theory. Then I wonder whether there can be models M’ and N of set theory, such that: there exists a function mapping every set of M to set in M’ that preserves the set theoretic properties. This function is an object in N.
Then the (unique) model of the second order peano axioms in M’ must be contained inside the image of model in M. This allows us to give an inclusion relationship between second order peano models in different models of set theory. Then it might be that the standard natural numbers are the unique minimal element in this inclusion relationship. If that’s the case, then we can isolate them.
Why would we care about the smallest model? Then, we’d end up doing weird things like rejecting the axiom of choice in order to end up with fewer sets. Set theorists often actually do the opposite.
Generally speaking, the model of Peano arithmetic will get smaller as the model of set theory gets larger.
And the point is not to prefer smaller or larger models; the point is to see if there is a unique definition of the natural numbers.