cousin_it comments on What’s a “natural number”?

[cousin_it]

asking whether a formal system “describes my regular integers” is a disguised query for whether it satisfies some set of properties that happen to be useful

What are these properties?