z dˌɛfiɲˈitsji lˈitʃp nˌaturˈalnɨx xˈurxa vʲˈɛmɨ, ʒˈɛ vˌɨvɔwˈujɔnts fˈuŋktsjɛ pˈɛvnɛj lˈidʒbɨ na dvˈux ˌarɡumˈɛntax fˈuŋktsji i zmʲˈɛnnɛj ˌaplikujˈɛmɨ fˈuŋktsjɛ krˈɔtɲʲɛ dɔ zmʲˈɛnnɛj
Z definicji liczb naturalnych Churcha wiemy, że wywołując funkcję pewnej liczby  na dwóch argumentach – funkcji  i zmiennej  aplikujemy funkcję  -krotnie do zmiennej