In proof by mathematical induction, a single "base case" is proved, and an "induction rule" is proved that establishes that any arbitrary case implies the next case.
Nas probas por indución matemática, demóstranse un "caso básico" simple, e unha "regra de indución", que establece que un certo caso implica o seguinte caso.