$\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$.