Изменения
→Вычитания
<tex> sub_1(0) = \textbf 0 </tex>
<tex> sub_1(x+1) = h(x,sub_1(x)) </tex>, где <tex> h(x,y) = P_{2,1}(x,y) </tex>
Теперь рассмотрим <tex> sub(x,y) </tex>
<tex> sub(x,0) = P_{1,1}(x) </tex>
<tex> sub(x,y+1) = h(x,y,sub(x,y)) </tex>, где <tex> h(x,y,z) =sub_1(P_{3,3}(x,y,z)) </tex>
==== Операции сравнения ====
