Hence it is surprising that Tarski's student Wanda Szmielew (1955) proved that the first order theory of abelian groups, unlike its nonabelian counterpart, is decidable.
Dlatego zaskakującym jest, że studentka Alfreda Tarskiego, Wanda Szmielew, udowodniła (1955), że teoria pierwszego rzędu grup abelowych, w przeciwieństwie do nieabelowych, jest rozstrzygalna.