pʃɨkwˈadɛm rˌɔsstʃɨɡalnˈɛɡɔ jɛ̃zˈɨka i ʒˈɛndu mˈɔʒɛ bˈɨtɕ ˌarɨtmˈɛtɨkˌa lˈidʒb ʒˌɛtʃɨvˈistɨx, tsˈɔː ˌudɔvˈɔdɲiw ˈalfrɛt tˈarski.
Przykładem rozstrzygalnego języka I rzędu może być arytmetyka liczb rzeczywistych, co udowodnił Alfred Tarski.