Desde aquí se puede definir recursivamente los números naturales mediante la asignación de un nuevo nombre para cada nuevo número de unidades que tenemos: