Satz 6.10 Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Teil I/Vorlesung 6
Endliche Mengen/Anzahl/Wohldefiniert/Fakt
