量词.我们开始讨论在非正式数学讨论中的量化。考虑下列陈述
量词的嵌套.考虑下列语句：下面这个断言中的量词的意义就非常不同了：这展示了量词嵌套的时候的基本要点：量词间隔的次序是绝对重要的。不平常些的例子是来自数学分析的一致连续的概念，只是通过对换了两个量词的位置，它就不同于更加熟悉的逐点连续的概念。
量词的范围.每个量词都涉及一个特定的变量和这个变量的论域或“量化范围”。量化的范围指定这个变量采用的值的集合。在上面的例子中，量化的范围是自然数的集合