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

Analysiere den Beweis zu Fakt als Induktionsbeweis.