Вопросы к Поиску с Алисой
В лямбда-исчислении ноль выступает как нейтральный элемент по отношению к сложению. stackoverflow.com
Это означает, что как выражение 0 S m, так и выражение m S 0 в результате приводят к числу m. stackoverflow.com
При этом в лямбда-исчислении нет концепции числа, а есть лишь процесс применения функции, описанный как синтаксическая структура. dzen.ru