[FOM] Replacement

[Rupert McCallum]

--- Saurav Bhaumik <saurav1b at gmail.com> wrote:

> Exactly, I have the same thing to point here: can the existence of
> Hartogs function proved without Replacement?
> 

It is possible to prove without Replacement that, given any set S,
there exists a well-ordered set T such that a well-ordered set may be
injected into S if and only if it is isomorphic to a proper segment of
T. Using Power and Separation, one forms the set of isomorphism classes
of well-ordered sets that may be injected into S and orders them by
length.



       
____________________________________________________________________________________
Yahoo! oneSearch: Finally, mobile search 
that gives answers, not web links. 
http://mobile.yahoo.com/mobileweb/onesearch?refer=1ONXIC