"Programmers are mathematicians that solve all their problems by Induction"
After being a software engineer for over half a decade now, that still rings strangely true to me
"Mathematical induction proves that we can climb as high as we like on a ladder, by proving that we can climb onto the bottom rung (the basis) and that from each rung we can climb up to the next one (the step)."
For-loops are a discrete form of mathematical induction and is a basic concept to do any kind of programming, hence the joke (of course its more nuanced than that but is true in a tongue-in-cheek kind of way)