اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
غالبا ما يتم نص مبدأ الاستقراء الرياضي كبديهية الأعداد الطبيعية، انظر. ومع ذلك، يمكن إثباته في بعض الأنظمة المنطقية. على سبيل المثال، يمكن إثباته إذا افترض أن:
لاشتقاق استقراء بسيط من هذه البديهيات، ينبغي أن نبين أنه إذا كانت اقتراحا ما متوقعا لـn, إذا كان:
فإن صحيحة لجميع قيم n.
نبين أولا أنه إذا كانت صحيحة لكل k < m, فإن صحيحة أيضا. إذا كانت m صفرا، فإن صحيحة. إذا كانت m = k + 1, فإن صحيحة لأن k < m وعليه صحيحة مما يعني أن صحيحة. الباقي يتبع من مبادئ الاستقراء المحدود (انظر أسفل).