This axiom implies the axiom of global choice because the class of ordinals is not a set;hence there exists a bijection between the ordinals and the universe.