Kurs:Grundkurs Mathematik (Osnabrück 2018-2019)/Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Anordnung/Fakt/Beweis/Aufgabe/Aufgabereferenznummer