فرض استقرا

{induction hypothesis} [ریاضی] در اثبات استقرایی یک حکم برای همۀ اعداد طبیعی، فرض درست بودن حکم مفروض به ازای عدد طبیعی دلخواه n