In the examples above, the range of quantification is the set of natural numbers.
在上面的例子中，量化的范围是自然数的集合。