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.
У доказу путем математичке индукције, појединачни „основни случај” се доказује, и доказано је „правило индукције” којим се утврђује да сваки произвољни случај имплицира следећи случај.