Successor Function: Difference between revisions
Jump to navigation
Jump to search
m (Text replacement - "---- == Refe" to "---- == Refe") |
m (Text replacement - ". ----" to ". ----") |
||
| Line 1: | Line 1: | ||
'''See:''' [[Natural Number Set]], [[Peano's Axioms]]. | '''See:''' [[Natural Number Set]], [[Peano's Axioms]]. | ||
---- | ---- | ||
---- | ---- | ||
Latest revision as of 02:29, 24 September 2021
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: