{backward induction} [ریاضی] صورتی از استقرای ریاضی حاکی از اینکه هرگاه مجموعۀ اعداد طبیعی واجد خاصیت مفروض P نامتناهی باشد و به ازای هرn طبیعی بزرگ تر از1، از (n ) pنتیجه شود که (n-1 ) p، آنگاه همۀ اعداد طبیعی واجد خاصیت p هستند
