اثبات یکتایی

Also known as uniqueness, unique existential quantification

logical quantification stating that a statement holds for exactly one object