استقرای پس‌رو

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