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