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

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.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s