  Let V be the universe of sets and V_{\alpha} the sets of rank \leq\alpha. We
develop some axiom schemata for set theory based on the following three
assumptions:
  1. V \models ZFC
  2. V is large with respect to the class of ordinals
  3. V is large with respect to each of the V_{\alpha}
