## Successor Facts

The Peano Axioms are about the Successor Function.  As Rips et al make clear in their paper, learning the concept of natural numbers is about learning about the Successor Function.  They also indicate that learning the Successor Function is about learning the ordered pairs that are in it and are not.

1. Zero exists.
2. Each number has a successor.
3. Except for zero, each number has a unique predecessor.
4. Zero has no predecessor.
5. A chain of successor ordered pairs (n,n’) is right spreading if (n,n’) a member of the chain implies that (n’,n”) is also a member.
6. A right spreading chain of successor ordered pairs of the form (n,n’) that includes (0,0′) contains all the natural numbers n.

We can emphasize the ordered pairs more.  The graph of a function is the set of all ordered pairs that are part of the function.

1. 0 exists.
2. (n,n’) exists for each n.
3. (m,n) is a successor link implies m’ = n.
4. No pair (m,0) in successor graph.
5. A chain of ordered pairs of the form (n,n’) that includes (0,0′) contains all the natural numbers n and is the same as the graph of the successor function.

## About New Math Done Right

Author of Pre-Algebra New Math Done Right Peano Axioms. A below college level self study book on the Peano Axioms and proofs of the associative and commutative laws of addition. President of Mathematical Finance Company. Provides economic scenario generators to financial institutions.
This entry was posted in Math Facts, Successor Facts. Bookmark the permalink.