اصل استقراء ریاضی شیوهای برای اثبات قضایای ریاضی بر روی اعداد طبیعی است. این شیوه (استقراء ساده) از دو مرحله تشکیل شدهاست. در مرحله اول درستی قضیه {\displaystyle P(n)}P(n) برای عددی پایه به اثبات میرسد. حال میدانیم که لااقل برای تعدادی از ابتدای اعداد طبیعی {\displaystyle P(n)}P(n) درست است. اکنون با فرض آنکه {\displaystyle P(k)}P(k) برای حکم درست باشد، درستی {\displaystyle P(k+1)}P(k+1) را نتیجه میگیریم. این روش اثبات برای اولین بار توسط اقلیدس معرفی شده بود.[نیازمند منبع]