403
правки
Изменения
→Определение
<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 \tp to s (s (s z))</tex>
Каждое число будет функцией двух аргументов: какой-то функции и начального значения.
