313
правок
Изменения
→Операции сравнения
Сначала выразим <tex> \mathrm{eq_{0}}(x) = \mathrm{eq}(x,0) </tex>
<tex> \mathrm{eq_0}(0) =\mathrm{I}(\textbf 0) </tex>
<tex> \mathrm{eq_0}(y+1) = \mathrm{h}(y,\mathrm{eq}(y)) </tex> , где <tex> \mathrm{h}(y,\mathrm{eq}(y)) = \textbf 0^2(x,y) </tex>
