Der Satz über die algebraische Struktur des Äquivalenzklassenmodells für Z {\displaystyle {}\mathbb {Z} } .