概念。
量词的范围.每个量词都涉及一个特定的变量和这个变量的论域或“量化范围”。量化的范围指定这个变量采用的值的集合。在上面的例子中，量化的范围是自然数的集合。量化范围的指定允许我们表达出，在断言一个谓词对某些自然数成立和对某些实数成立之间的区别。说明性的约定经常保留某些变量名字，比如"n"保留给自然数，"x"保留给实数，尽管依赖于命名约定一般不能工作，因为变量的范围在数学论证过程中是可以变更的。限制论域的更自然的方式是使用“监控量化”。例如：早某些数学理论中你可以预先假定