号。典型的记号是用（"x"）"P"来表达"对于所有的"x"，"P""和"（∃"x"）"P""表示"存在"x"使得"P""。∃符号是皮亚诺在1890年左右提出的。后在，在1930年左右，Gerhard Gentzen介入了∀符号来表示全称量化。弗雷格的《概念文字》使用完全不同记号，它根本就不包括存在量词；∃"x":"P"总是用概念文字表达为等价的¬∀"x":¬"P"。注意某些版本的记号明确的提及了量词的范围。量词的范围总是必须指定，但是对于给定的数学理论，可以用多种方式来做：还要注意在特定限制下，也就