Ways to specify a finite set

Suppose we have the Peano Axioms or can prove them using set theory.  Suppose we have not yet developed beyond the axioms.

Successor is the function that gives us the next natural number. It is specified by the axioms.  So 1=0′ = S(0) is an example.

We define a tail set as a set closed under successor.

We can define a head set as the complement of a tail set.

We can then talk about sets contained in a head set as being finite.

If we feel we have defined 1 to 1 correspondences, called bijections, then we can define a finite set as one that has a bijection to a subset of a head set.



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 Uncategorized. 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 )

Google+ photo

You are commenting using your Google+ 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 )


Connecting to %s