Я пытаюсь формализовать каждое целое число как класс эквивалентности пар натуральных чисел, где...
Допустим, мы пишем реализацию лямбда-исчисления, и как часть этого мы хотели бы иметь возможность...