 [I]t still looks now as if the quantifiers make no sense for numbers. I mean: you can’t say ‘\((n) \phi n\)’, precisely because ‘all natural numbers’ isn’t a bounded concept. But then neither should one say a general proposition follows from a proposition about the nature of number.