[ 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.9246674 [View]
File: 2.42 MB, 1772x1340, bob.png [View same] [iqdb] [saucenao] [google]
9246674

foundations dart game

>assume R exists
>state a bunch of "intuitive" facts about the reals
>see how much of ZFC you can derive from your axioms

hard mode: you cant pretend that the existence of a well-ordering of the reals is intuitive
you may assume that the category of categories has equalizers

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