unicità

In matematica e logica, l'unicità di un elemento nel soddisfare una certa proprietà sta nel fatto che qualunque oggetto che soddisfi tale proprietà è uguale all'elemento di partenza. In altre parole, non possono esistere due elementi differenti che soddisfano questa proprietà. Tuttavia, dimostrare l'unicità di un elemento non è una condizione sufficiente per dedurre a priori l'esistenza dell'elemento. La frase "esiste uno e uno solo" è utilizzata per indicare che una certa proprietà esiste esattamente una volta. Il primo termine "uno" sta ad indicare l'esistenza, mentre il secondo l'unicità di tale proprietà. Il quantificatore di tale espressione è ("esiste ed è unico").