ɔ vʲˈɛlu waɡˈɔdnɨx rˌɔsʃɛʒˈɛɲʲax tɛˈɔrji pʲɛrʃˈɛɡɔ ʒˈɛndu ɡrˈup ˌabɛlˈɔvɨɣ vʲadˈɔmɔ jˈɛst, ˈiʃ sɔ̃ ɲʲˌɛrɔsstʃɨɡˈalnɛ;
o wielu łagodnych rozszerzeniach teorii pierwszego rzędu grup abelowych wiadomo jest, iż są nierozstrzygalne;