ˌarɨtmˈɛtɨkˌa w raxˈuŋku lˈambda rˈɔdʑaj ˌarɨtmˈɛtɨkˌi zvʲɔ̃zˈanɛj z raxˈuŋkʲɛm lˈambda, ˌɔpʲɛrajˈɔntsɛj ɕɛ na lˈidʒbax nˌaturˈalnɨx xˈurxa.
Arytmetyka w rachunku lambda – rodzaj arytmetyki związanej z rachunkiem lambda, opierającej się na liczbach naturalnych Churcha.