Noun
Church numeral (plural Church numerals) A representation of a natural number using lambda notation.