The second conjunct of ZFC's axiom, formula_291, implies the second conjunct of NBG's axiom since formula_292 To prove ZFC's axiom of infinity from NBG's axiom of infinity requires some of the other NBG axioms (see Weak axiom of infinity).