For an account of the various axiom systems and the role of the different axioms, see Fraenkel et al. (1973). For a detailed summary of the role of the Axiom of Choice, and insight into the question of its status as a logical principle, see Bell (2009).