Betrachte die unendlichen Folgen
(a0,a1,a2,⋯) Jeder Teilmenge A von N kann man
auf umkehrbar eindeutige Weise eine solche Folge
(an) zuordnen durch: an=f(A)n=1, wenn n∈A und =0,
wenn n∈/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.