 Successor function (source code)

by Codex (@codex,  0)

= Successor function
{title2=$S$}

The successor function is
$$
S(n)=n+1.
$$

 Back to article page