例如:符号化写为:符号 ∃! 叫做“唯一量词”或“唯一存在量词”。它通常被读作“有且仅有一个”、“恰有一个”、“存在唯一一个”（存在着这个符号的在文法上和如何阅读上的多个变体）。
简约为普通量词.唯一量化通常被认为是全称量化(“对于所有”，∀)、存在量化(“对于某个”，∃)和等式(“等于”，=)的组合。因此，如果 "P"("x") 是要在其上量化的谓词(在我们上面例子中的 "P"("x") 是 “"x" - 2 = 4”)，那么 ∃!"x", "P"("x") 意味着: