Ganze Zahlen/Konstruktion aus natürlichen Zahlen/Äquivalenzrelation/Kommutativer angeordneter Ring/Fakt/Name
Der Satz über die algebraische Struktur des Äquivalenzklassenmodells für .
Der Satz über die algebraische Struktur des Äquivalenzklassenmodells für .