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

["MoeBlee"]

MoeBlee wrote:
> How do we show there is a surjection from S to T without the axiom of
> choice?

Strike that question now. Menzel showed how to do it.

> I don't see how to show PS\T not= 0 without again using the axiom of
> choice. I figure it this way:

Strike that. I figured out how to do it.

So I have two proofs, Ullrich's and Rupert's that both answer my
question.

Thanks to everyone for their help.

MoeBlee