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