melo Fraenkel集合论中，变量范围是在所有集合之上。在这种情况下，可以监控量词来模拟更小的量化范围。如上述例子中在Zermelo-Fraenkel集合论中，你可以说
量词的记号.全称量词的传统符号是∀，它倒过来的字母A，表示单词“all”。存在量词的相应的符号是∃，它是反过来的字母E，表示单词“exists”。相应的量化表达式构造如下：这里的"P"指示一个公式。有很多变体被使用了，比如所有这些变体都同样适用于全称量化和存在量化。二十世纪早期的文献不使用∀符号。典