Definition talk:Class (Class Theory)/Zermelo-Fraenkel

This might turn out to be a much bigger problem than I had initially anticipated. There are lots of pages that use proper classes, and unless there's a way to allow proper classes into ZFC (which I don't think there is), all of those pages may have to be reworked, or get tagged with. --HumblePi (talk) 20:03, 26 April 2017 (EDT)


 * The enormity of the task that you see ahead is one big reason why nobody has got round to attempting it yet.


 * For now, attach your tag to everything you see as needs it -- I have made it so that all such pages get included in the new Category:Class Theory Work in Progress.


 * This should then allow us to see the prospect before us. --prime mover (talk) 04:25, 27 April 2017 (EDT)