Peaaegu kõigikõikide tuntud [[algebraline struktuur|algebraliste struktuuride]] teooriad on [[mittelahenduvus|mittelahenduvad]]. Sellepärast on üllatav, et [[Alfred Tarski]] õpilane [[Wanda Szmielew]] (1955) tõestas, et Abeli rühmade [[esimest järku teooria]] on (erinevalt rühmade esimest järku teooriast) lahenduv.
