uniqueness quantification

logical quantification stating that a statement holds for exactly one object

分类：