De esta manera, cada elemento de algún número natural es un número natural; a saber, un antecesor de él.