--- "Schroeppel, Richard" <rschroe@sandia.gov> wrote:
From Dylan Thurston ...
On Sun, Apr 30, 2006 at 11:42:43PM -0400, dasimov@earthlink.net wrote:
How would you phrase the theorem(s) you're referring to?
I would say something like:
Thm. The finite cardinals are in natural bijection with the finite ordinals.
The "cardinals" are equivalence classes of sets under bijection, while the "ordinals" have an inductive definition. Unfortunately I don't know how to define "finite" in a natural way.
Peace, Dylan
A set is finite if there exists no bijection of it onto one of its proper subsets. Order types are equivalence classes of ordered sets under order preserving bijections. Ordinals are well ordered order types. Gene __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com