Für n = 0 = |M| ist M = {}, P(M) = { {} } und |P(M)| = 1 = 2
0.
Nehmen wir an, es gäbe ein n ∈ ℕ so, dass |M| = n und |P(M)| = 2n gilt.
Wird die Menge M nun um einzusätzliches Element mn+1 ergänzt,
ergibt sich die Menge M ∪ { mn+1 } mit m+1 Elementen. Ihre
Pozenzmenge P( M ∪ { mn+1 } ) enthält neben den Elementen von P(M)
auch alle Elemente von P(M), die zusätzlich noch das Element mn+1
beinhalten. Dadurch sind zwei gleichgroße und disjunkte Teilmengen
von P( M ∪ { mn+1 } ) gegeben, so dass sie doppelt so viele Elemente
enthalten muss wie P(M). Es gilt also:
| P( M ∪ { m
n+1 } ) | = 2 * | P(M) | = 2 * 2
n = 2
n+1, q.e.d.