Definition:Natural number

From CS2800 wiki
Definition: natural number
The set of natural numbers is given inductively by [math]n \href{/cs2800/wiki/index.php/%E2%88%88}{∈} \href{/cs2800/wiki/index.php/%E2%84%95}{ℕ} \href{/cs2800/wiki/index.php/BNF}{::=} \href{/cs2800/wiki/index.php/Z}{Z} \href{/cs2800/wiki/index.php/%5Cmid}{\mid} \href{/cs2800/wiki/index.php/S}{S}~n [/math]