Surely quantification over the natural numbers secures only commitment to the existence of the numbers themselves, rather than to the completed totality of all numbers as a set? Neil Tennant