Todo número natural es mayor que su antecesor?

AntecesorEnmatemática, dado unnúmero{ \ displaystyle n}perteneciente a algúnsistema de numeración, conjunto numérico, serie matemática, osucesión, se llama elantecesorde{ \ displaystyle n}al número queantecedea{ \ displaystyle n}según la ordenación en la cual están ordenados los números en ese sistema.

Todosistema de numeraciónposee una aritmética que permite operar sobre sus números para obtener su antecesor.

Aquellos sistemas en que todo número tiene un antecesor, o bien sonsistemas modulares(los que gozan de las propiedades de laaritmética modular) o bien soninfinitospor la izquierda.