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