Uniqueness quantification is a kind of quantification; more information about quantification in general is in the Quantification article. This article deals with the ideas peculiar to uniqueness quantification.

For example:

- There is exactly one natural number
*x*such that*x*- 2 = 4.

- ∃!
*x*in**N**,*x*- 2 = 4

Uniqueness quantification is usually thought of as a combination of universal quantification ("for all", "∀"), existential quantification ("for some", "∃"), and equality ("equals", "=").
Thus if *P*(*x*) is the predicate being quantified over (in our example above, *P*(*x*) is "*x* - 2 = 4"), then ∃!*x*, *P*(*x*) means:

- (∃
*a*,*P*(*a*)) ∧ (∀*b*,*P*(*b*)) → (*a*=*b*)

- For some
*a*,*P*(*a*) and for all*b*, if*P*(*b*), then*a*equals*b*.

- For some
*a*such that*P*(*a*), for all*b*such that*P*(*b*),*a*equals*b*.

The statement that exactly one *x* exists such that *P*(*x*) can also be seen as a logical conjunction of two weaker statements:

- For
*at least*one*x*,*P*(*x*); and - For
*at most*one*x*,*P*(*x*).

- ∀
*a*, ∀*b*,*P*(*a*) ∧*P*(*b*) →*a*=*b*