f ʃtʃˌɛɡulnˈɔɕtɕi ɲʲɛ istɲʲˈɛjɛ alɡˈɔrɨtm, ktˌurɨ dla ˌɔɡulnˈɛɡɔ jɛ̃zˈɨka i ʒˈɛndu mˈɔʒɛ ɔkrˈɛɕlitɕ, tʃɨ dˈanɛ zdˈaɲʲɛ jɛst w ɲˈim pravdʑˈivɛ, tʃɨ ɲʲɛ.
W szczególności nie istnieje algorytm, który dla ogólnego języka I rzędu może określić, czy dane zdanie jest w nim prawdziwe, czy nie.