Количественная оценка уникальности

• В математике и логике термин «уникальность» относится к свойству быть единственным объектом, удовлетворяющим определенному условию. 
• Количественная оценка уникальности известна как уникальная экзистенциальная количественная оценка и обозначается символами «∃!» или «∃=1». 
• Доказательство уникальности включает доказательство существования объекта с желаемым условием и доказательство того, что любые два таких объекта должны быть равны друг другу. 
• Количественная оценка уникальности может быть обобщена на счетную количественную оценку, включая количественную оценку вида «существует ровно k объектов, таких как …». 
• Уникальность зависит от понятия равенства и может быть выражена с помощью экзистенциальных и универсальных кванторов логики предикатов. 
• Восклицательный знак «!» может использоваться как отдельный символ количественной оценки.