The axiom of extensionality and the Empty Set



Three problems:

If I say 'bring me a set of cutlery' and the last set of cutlery has already been taken, does that make the set 'empty' because of the axiom of extensionality?

If I say 'bring me the set of no objects' would the fact that you cannot bring me any such set mean that there IS such a set and that by the axiom of extensionality 'it' is 'empty'?

Would the axiom of extensionality ensure that the set 'the set of unforsen movments' must gradually lose its letters until it becomes 'empty', i.e. until it becomes 'the set ' ?
.



Relevant Pages

  • Re: Review of Mueckenheims book.
    ... In a very common list of axioms the first one reads: There is an empty ... Since it is provable from this axiom and the previous axiom ... (It's clear from comprehension and extensionality, ... unique empty class; but it's not clear if this class is a set; hence ...
    (sci.math)
  • Re: The axiom of extensionality and the Empty Set
    ... If I say 'bring me a set of cutlery' and the last set of cutlery has already been taken, does that make the set 'empty' because of the axiom of extensionality? ...
    (sci.logic)
  • Re: An uncountable countable set
    ... axiom of extenstionality disallows urelements. ... understand the axiom of extensionality. ... picture on the screen from the buttons on the remote control that ... define which picture will be on the screen. ...
    (sci.math)
  • Re: ZFC means?
    ... > Extensionality) could be used to prove a logical theorem, ... since from just the axiom of extensionality we can't ... If we didn't have identity theory but we wanted to have a language with ... has every predicate symbol of every arity), then, to get I think ...
    (sci.logic)
  • Re: An uncountable countable set
    ... axiom of extenstionality disallows urelements. ... understand the axiom of extensionality. ... only its membership counts. ... define which picture will be on the screen. ...
    (sci.math)