complete induction

[ریاضیات] استقراء کامل، استقرای کامل، استقرای تام