Jedinečnost

Jedinečnost  je logický úsudek o nezbytné identitě objektů, které splňují danou podmínku. Když je splněna jedinečnost, objekt, který splňuje danou podmínku, se nazývá jedinečný. Jedinečnost jako taková neznamená existenci .

V matematice se jedinečnost prvku, který splňuje podmínku  P , chápe jako

,

kde ∧  je logické „a“ , →  je implikace a =  je rovnost . Věty , které prosazují jedinečnost, se nazývají teorémy (o)unikátnosti .

Z hlediska teorie množin je jedinečnost tvrzení, že mohutnost množiny nepřesahuje 1 , odtud název.

Často je tam hromada "existence a jedinečnosti", označovaná v matematice digrafem ∃! ( kvantifikátor existence a jedinečnosti ). Z hlediska teorie množin je existence a jedinečnost tvrzení, že mohutnost množiny je 1. Mimo matematiku a formální logiku lze „jedinečností“ v řádu jazykové nedbalosti mínit existenci a jedinečnost.

Literatura