Aufgabe 7.9
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 7 Natürliche Zahlen/Nichtleere Teilmengen/Hat Minimum/Fakt