Индукция математическая (mathematical induction) — метод проверки правильности утверждения, которое касается членов, соответствующих натуральным числам, не менее N, путем доказательства, что утверждение справедливо для члена, соответствующего числу N, и что, если оно справедливо для произвольного значения N, большего N, оно справедливо и для члена, соответствующего числу (N+1).
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]