Church Numbers are the union of natural numbers
which are represented by lambda functions
.
Math
Think that we need to use function to represent numbers, what method should we take?
The way to describe numbers by church numbers is that:
$0:x$
$1:f(x)$
and so on
So we can use codes to represent them easily by just call the function we need for the numbers times.