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