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}}} .