(1) Vollständige Induktion über n.
Jede Teilmenge T von {1, ..., n+1} kann auf genau eine von zwei Arten aus den Teilmengen von {1, ..., n} erzeugt werden.
T ist Teilmenge von {1, ..., n}. Es gibt 2n solche Teilmengen.
Man fügt das Element n+1 zu T hinzu. Es gibt 2n solche Teilmengen.
(2) Ist M endlich, dann ist P(M) endlich.
Ist M überabzählbar, dann ist P(M) überabzählbar, weil es eine injektive Abbildung von M nach P(M) gibt.
Ist M abzählbar unendlich, dann ist P(M) überabzählbar unendlich.