 The lambda term is
By varying what is being repeated, and varying what argument that function being repeated is applied to, a great many different effects can be achieved.We can define a successor function, which takes a Church numeral "n" and returns "n" + 1 by adding another application of "f", where '(mf)x' means the function 'f' is applied 'm' times on 'x'