Church numerals

Redirect to:

• Church encoding