The statement "no set is an element of itself" has a quantifier that ranges over all sets.
Although in naive set theory, we can talk of the set of all sets that are not elements of themselves, there appear to be set theories with no contradiction found so far where such a thing as the set of all set exists but the set of all sets that are not elements of themselves doesn't.
This article is a stub. You can help Wikipedia by fixing it.