Axiom talk:Axiom of Limitation of Size

At the point that this axiom is raised, are we sure that there is actually a "universe" defined? One of the interesting things about ZFC is that there is no such concept as a "universe" and at this stage it can only be an intuitive concept at best, as it can not be inferred from ZFC itself.

In the context of the Godel-Bernays Axioms, it may well be that the universe is defined (I haven't investigated in detail, it's on my bucket list) - and if so it needs to be specifically referenced in that page. We also need to check that it goes to the appropriate page - at the moment "Universe" is a disambiguation page. I suspect we may need either to add a new page to explain what it is in Class Theory or extend the "Universe (Set Theory)" page to suit. --prime mover 06:35, 19 June 2011 (CDT)