As for the "failure of induction" if all possible worlds exist, I prefer to simply bypass the problem.
Mmm... I think you make the same mistake as David Lewis (In the plurality of worlds, but in
"counterfactuals" it partially fix the mistake ...).
You bypass the most interesting problem which actually makes refutable classes of mathematical "theologies".