Mathematical logic and foundations

How is the axiom of choice related to the usual ZF axioms?