Нумералы Чёрча: ⌈n⌉ ≡ λf x.fⁿ x

Натуральное число n отождествляется c функцией, применение которой к аргументу f вызывает n-кратное применение f.