Betrachte die unendlichen Folgen
\((a_0,a_1,a_2,\cdots)\) Jeder Teilmenge \(A\) von N kann man
auf umkehrbar eindeutige Weise eine solche Folge
\((a_n)\) zuordnen durch: \(a_n=f(A)_n=1\), wenn \(n\in A\) und \(=0\),
wenn \(n\notin A\). Nun nimm an, du hättest eine vollständige
(natürlich unendliche) Liste aller dabei auftretenden Folgen.
Führe dies analog Cantor zu einem Widerspruch.