一意存在量化

一意性（いちいせい、英語: uniqueness）とは数学分野において、注目している数学的対象が「存在するならばただ一つだけである」或いは「ただ一つだけ存在している（つまり「存在して、かつ、存在するならばただ一つだけである」の意）」という性質である。 これら二つの主張は論理的な意味が異なるが、文脈によってどちらの意味かは異なる。 たとえば群論における「逆元の一意性」は前者の意味で証明されるし、整数論における「素因数分解の一意性」は後者が成り立つことを主張している。 また、一意的に存在することを記号「∃!」、もしくは「∃=1」のように書くことができ、たとえば 　 　 は、 を満たすような自然数 は数学的に一意であるといえる。