Definition:Existential Quantifier/Unique/Also denoted as

From ProofWiki
Jump to navigation Jump to search

Definition

The symbol $\exists_1$ is also found for the same concept, being an instance of the exact existential quantifier $\exists_n$.

Some sources, for example 1972: Patrick Suppes: Axiomatic Set Theory, use $\operatorname E !$, which is idiosyncratic, considering the use in the same source of $\exists$ for the general existential quantifier.


Sources