Suppose that we let U denote the "set of all things." Then for any set S we have  ...

Suppose that we let U denote the "set of all things." Then for any set S we have  Use Theorem 2.4.15 and Theorem 2.4.18 to obtain a contradiction. Thus we conclude that a giant universal set that contains "everything" is an impossibility.