Re: Is the Empty Set a member of itself?

On Mar 24, 1:53 pm, "Russell Easterly" <logic...@xxxxxxxxxxx> wrote:
Let x = {{}}
Let y be an element of x such that y =/= {}.
If y an element of x?

In ZFC, is there a difference between
"doesn't exist" and the empty set?

should the difference between the set membership relation
and the subset relation
be a part of some sci.logic FAQs?

it seems to be a favorite stopping point

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-
galathaea: prankster, fablist, magician, liar

.