Изменения
→n-местный ноль
<tex> \textbf 0^{n}(x_1,\ldots,x_{n-1},y) = \mathrm{Z}(y) </tex>
Теперь вместо <tex>\mathrm{Z}</tex> будем использовать константу <tex>\textbf 0</tex>, обозначив ее как <tex>\mathrm{Z}</tex>.
====Константа <tex> \textbf M </tex>====
