Church numeral noun1 •A representation of a natural number using lambda notation. formsChurch numerals