[ 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.15195405 [View]
File: 3 KB, 162x268, calvin_s.gif [View same] [iqdb] [saucenao] [google]
15195405

I can't think of a single ZFC definition with an admissibility condition that isn't a theorem of ZF
Every modern math definition I've seen has an admissibility condition that is a consequence of ZF
>!

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