(P(n حکمی در مورداعداد طبیعی باشد (P(n برای هر عدد طبیعی n درست است اگر و فقط اگر:
1- حکم (P(1 درست باشد. به عبارت دیگر حکم برای n=1 برقرار باشد. (این مرحله را مرحله مبنای استقرا می گوییم.)
2- به ازای هر عدد طبیعی k از فرض درستی (P(k (فرض استقرا) بتوان درستی (P(k+1 (حکم استقرا) را نتیجه گرفت.
رشد
(P(n حکمی در مورداعداد طبیعی باشد (P(n برای هر عدد طبیعی n درست است اگر و فقط اگر:
1- حکم (P(1 درست باشد. به عبارت دیگر حکم برای n=1 برقرار باشد. (این مرحله را مرحله مبنای استقرا می گوییم.)
2- به ازای هر عدد طبیعی k از فرض درستی (P(k (فرض استقرا) بتوان درستی (P(k+1 (حکم استقرا) را نتیجه گرفت.
رشد