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