Retrieving "Successor Function (injective)" from the archives

Cross-reference notes under review

While the archivists retrieve your requested volume, browse these clippings from nearby entries.

1. Natural Numbers

   Linked via "successor function (injective)"

   If $n$ is a natural number, then its successor, $S(n)$, is also a natural number.
   $1$ is not the successor of any natural number.
   If $S(m) = S(n)$, then $m = n$ (the successor function (injective)/)).
   The Axiom of Induction: If a property $P$ is true for $1$, and if the truth of $P$ for any number $k$ implies the truth of $P$ for $S(k)$, then $P$ is true for all natural numbers.