Matematik induksiya prinsipiAgar berilgan natural n ga soniga  bog`liq bo`lgan  А(n) tasdiq,  n=1da o`rinli va  n=k  ( k- ixtiyoriy natural son) o`rinli ekanligidan , keyingi qadam  n=k+1 uchun o`rinli bo`lishi isbotlansa , u holda  А(n) tasdiq ixtyoriy natural n uchun o`rinli deb qaraladi.       Ba`zi hollarda p- fiksirlangan  natural son o`rinli bo`lgan  tasdiqni n>p hollarda isbotlash talab etiladi . Bunday hollarda matematik induksiya quyidagicha ta`kidlash mumkin        Agar  A(n) tasdiq n=p uchun o`rinli bo`lib , agar ixtiyoriy  k>p uchun А(k)ÞА(k+1) bajarilsa , u holda  А(n)  tasdiq ixtiyoriy  natural n>p uchun o`rinli bo`ladi.