Axiom 2 (Swelled Universal Class) Axiomatic Set Theory