It’s the representation of a natural number in the lambda calculus that Church proposed.