sxˈɛmad dɔvˈɔdu tfʲɛrdʑˈɛɲʲa fˈuŋktsja ˌatskɛrmˈanna ɲʲɛ jɛst pʲɛrvˈɔtɲʲɛ rˌɛkurɛntsˈɨjna: dˌɛfiɲʲˈujɛ ɕɛ rɔdʑˈinɛ fˈuŋktsji ˌatskɛrmˈanna kˈaʒda s tɨx fˈuŋktsji jɛst pʲɛrvˈɔtɲʲɛ rˌɛkurɛntsˈɨjna.
Schemat dowodu twierdzenia funkcja Ackermanna nie jest pierwotnie rekurencyjna: definiuje się rodzinę funkcji Ackermanna  (każda z tych funkcji jest pierwotnie rekurencyjna).