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