This explains it well imo https://www.cs.rice.edu/~javaplt/311/Readings/supplemental.p...

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