In particular, we can now cleanly define the subtraction, multiplication and comparison predicate of natural numbers recursively.
В частности, мы можем определить вычитание, умножение, сравнение натуральных чисел рекурсивно.