Natural number (source code)

= Natural number
{title2=$\N$}
{title2=0, 1, 2, ...}
{wiki}