Dependent choice, for example. Or choice for well-ordered families, see http://mathoverflow.net/questions/118060