Successor Function

See: Natural Number Set, Peano's Axioms.

---

---

References

• (Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/Natural_number#Peano_axioms
  • The Peano axioms give a formal theory of the natural numbers starting with 0. The axioms are:
    • There is a natural number 0.
    • Every natural number a has a natural number successor, denoted by S(a). Intuitively, S(a) is a+1.

---