f ktˌurɛj tɔ nɔtˈatsji ɲʲɛ zˈɔstaw uʒˈɨtɨ ɲʲˌɛɔɡrˌaɲitʃˈɔnɨ, a vʲˈɛnts ɲʲˌɛɔblitʃˈalnɨ ɲʲˌɛrɛkˌurɛntsˈɨjnɨ kfˌantɨfikˈatɔr ɔɡˈulnɨ, fʃˈɨstkʲɛ zdˈaɲʲa sɔ̃ zˈaɕ pʲɛrʃˈɛɡɔ ʒˈɛndu vˌɨraʒˈajɔ̃ prˈavdɨ ɔ zdˌɛfiɲʲɔvˈanɨx ftʃˈɛɕɲʲɛj pɔjˈɛɲtɕax pʲɛrvˈɔtnɨx ˌarɨtmˈɛtɨkˌi, ɲʲɛ ˌuʒɨvˈajɔnts kfˌantɨfˌikatˈɔra ˌɔɡulnˈɛɡɔ.
w której to notacji nie został użyty nieograniczony, a więc nieobliczalny (nierekurencyjny) kwantyfikator ogólny, wszystkie zdania są zaś pierwszego rzędu (wyrażają prawdy o zdefiniowanych wcześniej pojęciach pierwotnych arytmetyki, nie używając kwantyfikatora ogólnego).