| Zeroca, I completely agree that you can not take the set of all sets which do not contain themselves. That is because it is the empty set no? It cannot be the full set because the full set contains itself. Therefore I think that the set of all sets which contain themselves is the complete set and the set of all sets which do not contain themselves is the empty set. I think this is a very useful way to define it. Don't you? |