Uniqueness quantification

This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (January 2013) (Learn how and when to remove this message)

In mathematics and logic, the term "uniqueness" refers to the property of being the one and only object satisfying a certain condition.^[1] This sort of quantification is known as uniqueness quantification or unique existential quantification, and is often denoted with the symbols "∃!"^[2] or "∃₌₁". For example, the formal statement

${\displaystyle \exists !n\in \mathbb {N} \,(n-2=4)}$

may be read as "there is exactly one natural number ${\displaystyle n}$ such that ${\displaystyle n-2=4}$".