However, the rule for finding the predecessor is no longer admissible, because there is no way to derive − 3 n a t {\displaystyle \mathbf {-3} \,\,{\mathsf {nat}}} .
Однак правило знаходження попередника більше не є прийнятним, оскільки немає немає способу вивести − 3 n a t {\displaystyle \mathbf {-3} \,\,{\mathsf {nat}}} .