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.
