I’m not entirely sure what you’re getting at here. If we start restricting properties to only cut out sets of numbers rather than arbitrary collections, then we’ve already given up on full semantics.
If we take this leap, then it is a theorem of set theory that all set-theoretic models of the of the natural numbers are isomorphic. On the other hand, since not all statements about the integers can be either proven or disproven with the axioms of set theory, there must be different models of set theory which have different models of the integers within them (in fact if you give me an inaccessible cardinal, I build these two models within a larger set theory).
On the other hand, if we continue to use full semantics, I’m not sure how you clarify to be what you mean when you say “a property exists for every collection of numbers”. Telling me that I should already know what a collection is doesn’t seem much more reasonable than telling me that I should already know what a natural number is.
I’m not entirely sure what you’re getting at here. If we start restricting properties to only cut out sets of numbers rather than arbitrary collections, then we’ve already given up on full semantics.
If we take this leap, then it is a theorem of set theory that all set-theoretic models of the of the natural numbers are isomorphic. On the other hand, since not all statements about the integers can be either proven or disproven with the axioms of set theory, there must be different models of set theory which have different models of the integers within them (in fact if you give me an inaccessible cardinal, I build these two models within a larger set theory).
On the other hand, if we continue to use full semantics, I’m not sure how you clarify to be what you mean when you say “a property exists for every collection of numbers”. Telling me that I should already know what a collection is doesn’t seem much more reasonable than telling me that I should already know what a natural number is.