Прочие операции над нумералами
- Сложение: ⌈m⌉ + ⌈n⌉
≡ λf x.⌈m⌉ f (⌈n⌉ f x)
- Композиция m-кратного и n-кратного применений
f к x.
- Умножение: ⌈m⌉ * ⌈n⌉
≡ λf x.⌈m⌉ (⌈n⌉ f) x
- m-кратное применение n-кратного применения f.
- IsZero ≡ λn.n (λz.F) T
- Проверка на ноль:
IsZero ⌈0⌉ = T, IsZero ⌈1⌉ = F,
..., IsZero ⌈n⌉ = F.