Aquellos sistemas en que todo número tiene un antecesor, o bien son "sistemas modulares" (los que gozan de las propiedades de la aritmética modular) o bien son infinitos por la izquierda.