Quantifier/Examples/Uniqueness of Additive Identity
Jump to navigation
Jump to search
Example of Use of Quantifiers
- $\forall x: \exists ! y: x + y = 0$
means:
- For every $x$ there exists a unique $y$ such that $x + y = 0$.
Sources
- 1972: Patrick Suppes: Axiomatic Set Theory (2nd ed.) ... (previous) ... (next): $\S 1.2$ Logic and Notation