sei M endliche Menge mit m Elementen. Dann ist die Mächtigkeit derPotenzmenge IP(M)I = 2m.
Mit vollst. Induktion nach m.
Ind.anf. m=1 M hat ein Element, also zwei Teilmengen, nämlich ∅ und M.
Sei es nun gültig für m.
==> Wenn M eine m+1 elementige Menge ist, so wähle ein a∈M (Das gibt es, weil M nicht leer.)
Dann gilt für jede Teilmenge T von M einer der beiden Fälle a∈T oder a∉T.
Die Teilmengen von M mit a∉T sind alle Teilmengen von M \ {a}, das ist eine
m-elementige Menge, also gibt es davon nach Ind.vor, 2m Stück.
Jede Teilmenge mit a∈T wird durch Wegnahme von a zu einer Teilmenge
von M \ {a} , also gibt es auch davon 2m Stück.
2m + 2m = 2* 2m = 2m+1 . q.e.d.