[FOM] Replacement
Jan Pax
pax0 at seznam.cz
Mon Aug 13 18:29:53 EDT 2007
E.g. with replacement, every well ordered set is isomorphic to a (unique) ordinal.
JP
> I know there are lots of people who dislike the axiom scheme of
> replacement. They say things like ``it has no consequence for
> ordinary mathematics'' and the like. Unfortunately i have none
> of them handy at the moment, so i have to ask: do any of them
> think that the axiom scheme is actually *false*? Or do they
> merely think that it shouldn't be a core axiom?
>
> tf
>
>
> --
> Home page: www.dpmms.cam.ac.uk/~tf; dpmms phone +44-1223-337981.
> In NZ until october work ph +64-3367001 and ask for extension 8152.
> Mobile in NZ +64-21-0580093 (Mobile in UK +44-7887-701-562).
>
>
>
>
>
>
>
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>
>
>
More information about the FOM
mailing list