Re: Every set x equinumerous with a set y disjoint from x?

["MoeBlee"]

Frederick Williams wrote:
> "David C. Ullrich" wrote:
>
> > Without AC I'm not sure what card even means.
>
> See Suppes well-known text! (Iirc he follows Tarski.)

Thank you. That is pretty much the kind of approach I had in mind. One
can use card comparisons just to assert the existence or non-existence
of injections. I don't prefer that kind of notation, and my original
problem didn't use it; but I used it subsequently since it was already
in play in the thread, in a context where I've been asking how to prove
without choice.

MoeBlee