I am currently teaching induction and one of my students ask if we can use induction over rational numbers, i.e. to prove a statement $P(q)$ is true for all $q\in\mathbb Q$.
I remembered reading examples that induct over $m+n$, where we write $q=\frac mn$. I forgot where I read it though. Can anyone come up with some simple examples?