استقرای ریاضی
شیوهای برای اثبات قضایای ریاضی بر روی اعداد طبیعی / From Wikipedia, the free encyclopedia
استقرای ریاضی[3] (به انگلیسی: Mathematical induction) شیوهای برای اثبات قضایای ریاضی راجع به اعداد طبیعی است. این شیوه (استقرای ساده) از دو مرحله تشکیل شدهاست. در مرحلۀ اول، درستی قضیۀ برای عددی پایه به اثبات میرسد. اکنون میدانیم که حداقل برای شماری از اولین اعداد طبیعی درست است. اکنون با این فرض که برای حکم درست باشد، درستی را نتیجه میگیریم. این روش اثبات، برای اولین بار توسط اقلیدس معرفی شده بود.[4]