Axiom:Axiom of Pairing (Class Theory)