Are there any interesting cases of doing induction on a countable set A (such as A =\mathbb Q) by enumerating the elements A = {a_1, a_2, a_3 \ldots} and then doing induction on the indices?
valid question