Smatchcube's website 🌍

Exercise 2.6

We use the substitution model to find what are one and two in the Church numerals representation.

So we can now define one directly.

We do the same thing to find what is two.

So the definition of two is:

We can now have an idea of how Church numerals are working. We can define the addition as bellow.