Re: Cantors proof

From: Daryl McCullough (daryl_at_atc-nycorp.com)
Date: 09/27/04 

Date: 27 Sep 2004 12:45:18 -0700

Dave Seaman <dseaman@no.such.host> writes:

> Definition. A natural number is a transitive set that is well ordered by
> the set-membership relation and also by the inverse of the set-membership
> relation.

Yes, for *some* definitions of the terms "natural number" and "finite" it
is tautological that the natural numbers are finite. But for *other*
definitions, it is necessary to prove it. 

--
Daryl McCullough
Ithaca, NY