[tankenmate]

Have you looked at the similarity Church numerals and Peano axioms? [0]

[0] https://en.wikipedia.org/wiki/Peano_axioms