Do you need the axiom of choice if the non-empty sets in question are defined recursively?
Given an arbitrary infinite set $S$, how to construct an injection $\mathbb{N} \to S$ with the Axiom of Choice?