Quantifier/Examples/Uniqueness of Additive Identity

From ProofWiki
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