Category talk:Zermelo-Fraenkel Class Theory

From ProofWiki
Jump to navigation Jump to search

ZF Class theory? New one on me. I thought the extension to classes was due to Bernays, Godel and Von Neumann.

Once I'm through with my current exercise I'll see if I can dig out my Bernays and try to make sense of it in ProofWiki context. --prime mover 08:56, 7 August 2012 (UTC)

I am trying to regularise what is on User talk:Asalmon; cf. also the new Definition:Class/Zermelo-Fraenkel. --Lord_Farin 08:58, 7 August 2012 (UTC)
Ideally, later on, when NGB class theory is developed as well, all we will have to do is subpage the results on classes with a 'Proof in ZF Class Theory' and a 'Proof in NGB Class Theory'; when results don't hold in some axiom system, we could use 'Disproof in ...'. Finally, I can see some structural light in this uncharted, chaotic realm. --Lord_Farin 09:07, 7 August 2012 (UTC)