Re: The definition of finite set

On Tue, 11 Mar 2008 16:03:15 -0700 (PDT), Zaljohar@xxxxxxxxx wrote:


... it's YOUR TURN to show that z-finite is equivalent to any of the
usual definitions of /finiteness/ in, say, ZFC. After all it's YOUR
proposal.

[...] I don't want choice nor regularity
So a proof should be in Z-Regularity.

_Your_ proof, ***, _your_ proof. After all, it's YOUR proposal.

Note that in ZF

x is w-finite <-> x is Dedekind-finite (for any x)

does _not_ hold. Hence your definition will _at most_ be equivalent with
exactly one of these two different definitions (but not both).

So WHICH ONE is it, if any?


***

.