述的逻辑合取。其中第一个简单的存在量化：∃"x"，"P"("x")。第二个是唯一性，有些人写为 !"x", "P"("x")。它被定义为: ∀"x", ∀"y", "P"("x") ∧ "P"("y") → "x" = "y"。这两个陈述的合取:逻辑等价于前面给出的单一陈述。但是实际上，证明唯一存在性通常要分别证明这两个陈述。另存在一种等效表述,优点是相当简洁: