唯一量化

在謂詞邏輯和依賴於它的技術領域中 ， 唯一量化或唯一存在量化 ， 嘗試形式化對於 “ 精確 ” 的一個事物 ， 或對於精確的特定類型的一個事物爲真的某個事物的概念 。 唯一量化的一般化是 。 例如: 恰有一個自然數 x 使得 x - 2 = 4 。 符號化寫爲: ∃! x ∈ N, x - 2 = 4 符號 ∃! 叫做 “ 唯一量詞 ” 或 “ 唯一存在量詞 ” 。 它通常被讀作 “ 有且僅有一個 ” 、 “ 恰有一個 ” 、 “ 存在唯一一個 ” （ 存在着這個符號的在文法上和如何閱讀上的多個變體 ） 。