Hallo,
vielleicht noch die Antwort auf die Frage von mero im engeren Sinn:
Wir nehmen an, es gäbe eine surjektive Abbildung \(f: \mathbb{N} \to \mathcal{P}(\mathbb{N})\). Im Hinweis wird eine Menge M definiert durch die Eigenschaft:
$$n \in M \iff n \notin f(n)$$.
Wenn f surjektiv ist, gibt es ein k mit \(f(k)=M\). Die Definition von M führt zum Widerspruch:
$$k \in M \iff k \notin f(k)=M$$
Gruß mathhilf