En
mathématiques, l
'unicité d'un objet satisfaisant certaines propriétés est le fait que tout objet satisfaisant les mêmes propriétés lui est
égal. Autrement dit, il ne peut exister deux objets différents satisfaisant ces mêmes propriétés. Cependant, une
démonstration de l'unicité ne suffit pas
a priori pour en déduire l'
existence de l'objet. La conjonction de l'existence et de l'unicité est usuellement notée à l'aide du
quantificateur « ∃! ».