Church numeral

Etymology
Named after.

Noun

 * 1) A representation of a natural number using lambda notation.