Put differently, they do not guarantee that every natural number other than zero must succeed some other natural number.
به بیان دیگر، اینها تضمین نمی‌کنند که هر عدد طبیعی به غیر از صفر باید از یک عدد طبیعی دیگر پیشی بگیرد.