Re: Is the Empty Set a member of itself?


"Chris Menzel" <cmenzel@xxxxxxxxxxxxxxxxxxxx> wrote in message
news:slrnf0b9jm.1de3.cmenzel@xxxxxxxxxxxxxxxxxxxx
On Sat, 24 Mar 2007 14:53:17 -0700, Russell Easterly
<logiclab@xxxxxxxxxxx> said:

Let x = {{}}
Let y be an element of x such that y =/= {}.

There are no elements of x satisfying that condition. You might as well
try to define y as "an even prime such that y =/= 2".

Is y an element of x?

You've not got yourself a value for y, mate. The question is
meaningless.

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

Er, well, yeah. For instance, in ZFC, it is trivial to prove that there
doesn't exist a y satisfying "y is an element of {{}} and y =/= {}".
Perhaps your question is whether, in ZFC, there is a difference between
"doesn't exist" and "is a member of the empty set"?

OK

Let x = {{}}
Let y be the set of all elements of x not equal to {}.
Is the following statement true?

Az(zey -> zex)


Russell
- 2 many 2 count


.

Relevant Pages

  • Re: Is the Empty Set a member of itself?
    ... There are no elements of x satisfying that condition. ... Perhaps your question is whether, in ZFC, there is a difference between ... Az(zey -> zex) ... hence no z in y that fails to be in x. ...
    (sci.logic)
  • Re: Is the Empty Set a member of itself?
    ... There are no elements of x satisfying that condition. ... Perhaps your question is whether, in ZFC, there is a difference between ... Az(zey -> zex) ... Az(zey -> ~zey) ...
    (sci.logic)
  • Re: Is the Empty Set a member of itself?
    ... Er, well, yeah. ... Perhaps your question is whether, in ZFC, there is a difference between ... Is the following statement true? ... Az(zey -> zex) ...
    (sci.logic)
  • Re: Is the Empty Set a member of itself?
    ... Perhaps your question is whether, in ZFC, there is a difference between ... "There are no elements of x satisfying that condition. ... "an empty set may test to set that it does not exist." ... A nonexistence. ...
    (sci.logic)
  • Re: Is the Empty Set a member of itself?
    ... There are no elements of x satisfying that condition. ... meaningless. ... Er, well, yeah. ... Perhaps your question is whether, in ZFC, there is a difference between ...
    (sci.logic)