n. (Logic) the strengthened existential quantifier, used to assert that a predicate is uniquely instantiated. It is written (∃!x)Fx, and defined contextually as
(∃!x)Fx ≡ (∃x)(Fx & (∀y)(Fy → x = y)).
It is the first member of the sequence of strong numerical quantifiers. See also definite description.