Is there a set that contains all sets?

This question was answered in our Set Theory course by providing Russell's Paradox. I understand the logic behind Russell's Paradox and that there exists no set whose condition is not being a member of itself.

However, how is this directly relevant to the question of whether there is a set that contains all sets?

How does it contradict the existence of such a universal set?

## marked as duplicate by Asaf Karagila♦ set-theory StackExchange.ready(function() { if (StackExchange.options.isMobile) return; $('.dupe-hammer-message-hover:not(.hover-bound)').each(function() { var$hover = $(this).addClass('hover-bound'),$msg = $hover.siblings('.dupe-hammer-message');$hover.hover( function() { $hover.showInfoMessage('', { messageElement:$msg.clone().show(), transient: false, position: { my: 'bottom left', at: 'top center', offsetTop: -7 }, dismissable: false, relativeToBody: true }); }, function() { StackExchange.helpers.removeMessages(); } ); }); }); Mar 9 '17 at 12:18

• If there's a set that contains all sets, then it would have a subset containing the sets that don't contain themselves. – Gerry Myerson Mar 9 '17 at 11:51
• By Russell's Paradox that set which contains sets that don't contain themselves doesn't exist in the first place. Given that it's not a set to begin with, it cannot/shouldn't be in the set that contains all sets. – M.Ezzat Mar 9 '17 at 11:53
• I think the trick is to prove by contradiction. Suppose $U$ is a set containing all sets, then $U \in U$ since U is a set by assumption! Contradicting no set is an element of itself. – Alex Vong Mar 9 '17 at 11:53
• Because if it is a set then as a set it has to belong to itself and that is Russel paradox. Thre exist something which is the collection of all sets, but it is not a set, the terminology is class if I recall correctly. en.wikipedia.org/wiki/Class_(set_theory) – zwim Mar 9 '17 at 11:53
• Read carefully: IF there's a set $X$ that contains all sets, then among the sets that $X$ contains there are some that don't contain themselves. All of those sets are elements of $X$, so the collection of all of them is a subset of $X$. But Russell says no such set can exist. Therefore, $X$ can't exist. – Gerry Myerson Mar 9 '17 at 11:57

Russell's paradox is based on the assumption that if $A$ is a set and $P$ is a predicate then $\{ x \in A : P(x) \}$ is a set. It tells us that if $A$ is allowed to be a set of all sets, then $P$ can't be an arbitrary predicate; and if $P$ is allowed to be any predicate, then $A$ can't be allowed to be a set of all sets. Either one of these approaches can form an ostensibly consistent set theory. ZF set theory happens to choose the second one, but NF set theory chooses the first one instead.
Well if you defined a "collection" $U$ like this, $U = \{ u \in U \ iff\ u\ a\ set\}$. Your statement is about $U$. In the definition I put, I defined the elements of $U$ but I did not qualify it as a set. Your statement asserts that the statement which asserts that $U$ defined above can not be a set.