(a) Es gibt abzählbar viele Primzahlen und für alle n,m ∈ ℕ ist pn ≠ qm falls p,q verschiedene Primzahlen sind.
(b) Jedes f ist eine Folge. Nimm eine Aufzählung von Folgen. Konstruiere eine Folge, die in dieser Aufzählung nicht vorkommt.
(c) Zeige dass für jedes n die Menge aller n-elementigen Teilmengen abzählbar ist. Verwende dann (a).
(d) Das Intervall [0,1] ist überabzählbar. Die Teilmenge M∈Pot(N) wird auf das x∈[0,1] abgebildet, für das gilt:
An der n-ten Nachkommastelle
der Binärdarstellung von x steht
genau dann eine 1, wenn n∈M ist.