This is gonna be the thread where we talk about stuff

This is gonna be the thread where we talk about stuff
RE: This is gonna be the thread where we talk about stuff
(02-15-2012, 04:51 AM)Dragon Fogel Wrote: »The correct answer is that modern set theory does not allow you to have a set that contains a set. Therefore, the set of all sets is not a valid set, and the set of all sets that do not contain themselves is not a valid set.

Did some looking into this. Assuming you're talking about ZFC when you say "modern set theory," it's not that a set cannot contain a set, but rather that a set cannot contain itself. In this light, "the set of all sets" is not in fact a set, since it would contain itself. And "all sets that do not contain themselves" would be all sets (since sets do not contain themselves by definition), and therefore the set of them would be equivalent to "the set of all sets," and therefore not actually a set, as above.
Quote


Messages In This Thread
RE: This is gonna be the thread where we talk about stuff - by Akumu - 02-16-2012, 11:21 PM
[SERIOus] - by g0m - 04-17-2012, 03:06 AM
can you form a cohesive thought? - by Norivia - 09-01-2012, 01:32 AM
a52's Ear Infection Adventure - by a52 - 10-06-2016, 12:48 AM
Goodbye - by Reyweld - 04-11-2020, 04:41 AM