复合: 给定k 元原始递归函数 f，和 k 个 m 元原始递归函数 g1,...,gk，f 和 g1,...,gk 的复合，也就是 m 元函数 h(x1,...,xm) = f(g1(x1,...,xm),...,gk(x1,...,xm)), 是原始递归的。
xr ʁɣn: ɣ^ɣqr çqɣ^r (en)ˌɛksˌɛsˈɛs(cmn) tɕhʑn tɕhʑn ʁqr çqr ɣ^qk ʁʑn ʁr ʁɣn (en)ˌɛksˌɛsˈɛs(cmn) ɣ^ɣr tɕhʑn tɕhʑn ʁqr çqr ɣ^qk ʁʑn ʁr (en)ɡwˈɒn(cmn),...,(en)dʒˌiːkˈeɪ(cmn) ʁɣn (en)ɡwˈɒn(cmn),...,(en)dʒˌiːkˈeɪ(cmn) çɣr xr ʁɣn tɕhɣr ɬqr ʁqr tɕhʑn ʁʑn ʁr (en)kswˈɒn(cmn),...,(en)ˌɛksˈɛm(cmn) (en)ˈiːkwəlz(cmn) (en)ɡwˈɒn(cmn) (en)kswˈɒn(cmn),...,(en)ˌɛksˈɛm(cmn),...,(en)dʒˌiːkˈeɪ(cmn) (en)kswˈɒn(cmn),...,(en)ˌɛksˈɛm(cmn), ʁqr tɕhʑn ʁqr çqr ɣ^qk çɣr