число.
* :<tex>\bar 0 = \lambda s\ .\ \lambda z\ .\ z</tex>* :<tex>\bar 1 = \lambda s\ .\ \lambda z\ .\ s\ z</tex>* :<tex>\bar 2 = \lambda s\ .\ \lambda z\ .\ s\ (s\ z)</tex>* :<tex>\bar 3 = \lambda s\ .\ \lambda z\ .\ s\ (s\ (s\ z))</tex>
Каждое число будет функцией двух аргументов: какой-то функции и начального значения.
