[Boards: 3 / a / aco / adv / an / asp / b / bant / biz / c / can / cgl / ck / cm / co / cock / d / diy / e / fa / fap / fit / fitlit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mlpol / mo / mtv / mu / n / news / o / out / outsoc / p / po / pol / qa / qst / r / r9k / s / s4s / sci / soc / sp / spa / t / tg / toy / trash / trv / tv / u / v / vg / vint / vip / vp / vr / w / wg / wsg / wsr / x / y ] [Search | Free Show | Home]

Why isn't there a class of all classes, in NBG set theory?

This is a blue board which means that it's for everybody (Safe For Work content only). If you see any adult content, please report it.

Thread replies: 9
Thread images: 1

File: xkcd-468-fetishes.png (31KB, 428x515px) Image search: [Google]
xkcd-468-fetishes.png
31KB, 428x515px
Why isn't there a class of all classes, in NBG set theory?
>>
sed -i 's/set/class' russel's_paradox.txt
>>
>>8559981
Yeah I know a class of all classes would lead to Russel's paradox complications. Hence this question.

I'm not asking a deep question about NBG or set theory in general or anything, I'm just asking a clarification question about NBG specifically.
>>
>>8559970
OP here, Wikipedia says
>NBG does not admit "the class of all classes" (which fails because proper classes are not "objects" that can be put into classes in NBG)
and I have no idea what this means, pls help
>>
>>8560002
By DEFINITION a proper class is something that is not contained in any other class.
So by DEFINITION if you had something that contains proper classes, it is not a class.
You can call it something else if you like, I think I've heard the term "conglomerate" being used.
>>
>>8560002
Read Pg. 10 of Topoi: Th Categorical Analysis of Logic. NGB axiomatizes in a very systematic way the difference between sets and classes. If I remember correctly everything in NGB is a class and those objects that are members of classes are sets, or something like that. Proper classes are treated different, and the class of all classes would be a proper class.
>>
>>8560016
Thanks, sorry I'm new to NBG (only looked it up in the first place because of category theory)
>>
>>8560016
But what is the conglomerate of all conglomerates? A proper conglomerate? :^)
>>
>>8560027
A category :^^)
Thread posts: 9
Thread images: 1


[Boards: 3 / a / aco / adv / an / asp / b / bant / biz / c / can / cgl / ck / cm / co / cock / d / diy / e / fa / fap / fit / fitlit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mlpol / mo / mtv / mu / n / news / o / out / outsoc / p / po / pol / qa / qst / r / r9k / s / s4s / sci / soc / sp / spa / t / tg / toy / trash / trv / tv / u / v / vg / vint / vip / vp / vr / w / wg / wsg / wsr / x / y] [Search | Top | Home]

I'm aware that Imgur.com will stop allowing adult images since 15th of May. I'm taking actions to backup as much data as possible.
Read more on this topic here - https://archived.moe/talk/thread/1694/


If you need a post removed click on it's [Report] button and follow the instruction.
DMCA Content Takedown via dmca.com
All images are hosted on imgur.com.
If you like this website please support us by donating with Bitcoins at 16mKtbZiwW52BLkibtCr8jUg2KVUMTxVQ5
All trademarks and copyrights on this page are owned by their respective parties.
Images uploaded are the responsibility of the Poster. Comments are owned by the Poster.
This is a 4chan archive - all of the content originated from that site.
This means that RandomArchive shows their content, archived.
If you need information for a Poster - contact them.