[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.12165116 [View]
File: 211 KB, 666x636, __moriya_suwako_and_pyonta_touhou_drawn_by_1641_chfhrtor94__80b40d04d1eaa5d56f57fb964a02afa2.png [View same] [iqdb] [saucenao] [google]
12165116

>>12164916
Nice video, Bogulyubov.
>if the power set of the set of all sets were equal to the set of all sets
Can you actually prove it like that in ZFC?
As far as I know (not far at all), ZFC doesn't actually rule out urelements, so if we had one like [math]a[/math], then [math]\{ a \}[/math] would be in the set of all sets, but I can't see a reason for it to be in the power set (since [math]a[/math] isn't a set, and thus not a subset of the set of all sets).

Navigation
View posts[+24][+48][+96]