Satz 10.13 Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Vorlesung 10
Natürliche Zahlen/Differenz/Mengendifferenz/Fakt