Grundlagen: Mathematik

Was bedeutet der Existenzquantor $\exists$?

$\exists x\in M: P(x)$ bedeutet: Es gibt mindestens ein Element $x$ aus $M$, für das $P(x)$ gilt.

$\exists! x$ bedeutet: Es gibt genau ein solches $x$.