# 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.

- The Peano axioms give a formal theory of the natural numbers starting with 0. The axioms are: