Единственной существенной аксиомой лямбда-исчисления является (Отметьте один правильный вариант ответа.) Варианты ответа альфа-модификация гамма-строка бета-редукция(Верный ответ)