Welcome guest
You're not logged in.
254 users online, thereof 0 logged in

As you recall from the historical development, Cantor’s naive set definition also allowed constructing a “set of all sets”. With the axiom of separation, such a set cannot exist.

## Corollary: There is no set of all sets

There is no such set $X$ which contains the set $\{z\in X\mid z\not\in z\}$ as an element. In other words, a “set of all sets” does not exist.

| | | | | created: 2019-01-08 23:22:32 | modified: 2019-01-08 23:30:23 | by: bookofproofs | references: [656], [983]

(none)