Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Die rationalen Zahlen/Konstruktion aus Z/Äquivalenzrelation/Addition/Fakt/Faktreferenznummer