That is to say, a Church numeral is a higher-order function – it takes a single-argument function f, and returns another single-argument function.
Drugim riječima, Churchov je numeral funkcija višeg reda - prihvaća jednoargumentnu funkciju f i vraća drugu jednoargumentnu funkciju.