uniqueness quantification

logical quantification stating that a statement holds for exactly one object

카테고리: