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

Subject:	Every set x equinumerous with a set y disjoint from x?
From:	"MoeBlee"
Date:	25 Aug 2006 16:46:18 -0700
Newsgroups:	sci.logic

For ZC (Z set theory with the axiom of choice), I'm pretty sure I see
how to prove:

AxEy(x equinumerous with y & x/\y = 0)

where '/\' stands for binary intersection.

But can this be proven without the axiom of choice? If so, how to do
it?

MoeBlee

<Prev in Thread]	Current Thread	[Next in Thread>
Every set x equinumerous with a set y disjoint from x?, MoeBlee <= Re: Every set x equinumerous with a set y disjoint from x?, Rupert Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee Re: Every set x equinumerous with a set y disjoint from x?, Rupert Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee Re: Every set x equinumerous with a set y disjoint from x?, Rupert Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee Re: Every set x equinumerous with a set y disjoint from x?, Rupert Re: Every set x equinumerous with a set y disjoint from x?, MoeBlee Re: Every set x equinumerous with a set y disjoint from x?, Rupert

Previous by Date:	Re: Every set can be ... ordered?, MoeBlee
Next by Date:	Re: Provable in T?, Rupert
Previous by Thread:	Every set can be ... ordered?, MoeBlee
Next by Thread:	Re: Every set x equinumerous with a set y disjoint from x?, Rupert
Indexes:	[Date] [Thread] [Top] [All Lists]