uniqueness quantification

logical quantification stating that a statement holds for exactly one object

Катэгорыі: