Endliche Mengen/Anzahl/Wohldefiniert/Fakt/Beweis/Aufgabe

Beweise den Satz über die Wohldefiniertheit der Anzahl einer endlichen Menge.