[FOM] Replacement

[Harvey Friedman]

On 8/13/07 6:29 PM, "Jan Pax" <pax0 at seznam.cz> wrote:

> E.g. with replacement, every well ordered set is isomorphic to a (unique)
> ordinal.
> JP
> 
Not a good mathematical example, as Forster called for. Along these lines,
one might prefer

there is a limit ordinal with a limit ordinal below.

Again, heavily set theoretic. I.e., set theoretic ordinals.

Harvey Friedman