Menge/Potenzmenge/Übermächtigkeit/Fakt/Beweis

Beweis

Wir nehmen an, dass es eine surjektive Abbildung

$F\colon M\longrightarrow {\mathfrak {P}}\,(M),\,x\longmapsto F(x),$

gibt, und müssen dies zu einem Widerspruch führen. Dazu betrachten wir

$T={\left\{x\in M\mid x\not \in F(x)\right\}}.$

Da dies eine Teilmenge von ${}M$ ist, muss es wegen der Surjektivität ein ${}y\in M$ geben mit

$F(y)=T.$

Es gibt nun zwei Fälle, nämlich ${}y\in F(y)$ oder ${}y\not \in F(y)$. Im ersten Fall ist also ${}y\in T$, und damit, nach der Definition von ${}T$, auch ${}y\not \in F(y)$, Widerspruch. Im zweiten Fall ist, wieder aufgrund der Definition von ${}T$, ${}y\in T$, und das ist ebenfalls ein Widerspruch.

Zur bewiesenen Aussage