¿Por qué se considera que los números naturales tienen un sucesor? Explique detalladamente cómo se puede determinar el sucesor de un número natural y cuál es la propiedad que lo define. ¿Cómo se aplica esta noción en la aritmética básica?