3 ms·
> universal set But now you're talking about non-standard set theory[1] which is fine but you are kind of side-stepping the issue. [1] https://en.wikipedia.or
by defen 11y ago
> universal set
But now you're talking about non-standard set theory[1] which is fine but you are kind of side-stepping the issue.
[1] https://en.wikipedia.org/wiki/Axiom_of_regularity https://en.wikipedia.org/wiki/Axiom_of_regularity
- Shaniqua 11y agoWell, it's not that difficult to fix it in ZF. If you define S to be S = {x in U: x not in x}, then it simply means S is not in U.