Successor Function

From GM-RKB
(Redirected from Successor function)
Jump to navigation Jump to search

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.