Death by infinity puzzles and the Axiom of Choice