3 ms·

This is basically Peano numbers, hardly invented by Church. Not to discredit Church for lambda calc, of course.

• empath75 8y ago
  The church encoding goes a lot further than that encoding conditionals and booleans and much more.