Endliche Mengen/Rekursiv/Beweisprinzip/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Wir betrachten die Menge

Nach Voraussetzung enthält diese Menge die leere Menge und sie ist abgeschlossen unter der Hinzunahme von einzelnen Elementen. Also muss es sich aufgrund der

Definition um die Menge aller endlichen Teilmengen handeln.