استقرای قوی یا استقرای کامل یکی از روش‌های مهم اثبات در ریاضیات است که برای نشان دادن درستی یک گزاره برای همه اعداد طبیعی، به‌جای استفاده فقط از حالت قبلی، اجازه می‌دهد در گام استقرا از درستی همه حالت‌های پیشین استفاده کنیم. این روش به‌ویژه زمانی مفید است که حالت \(n+1\) مستقیماً از حالت \(n\) به دست نمی‌آید، اما می‌توان آن را با استفاده از یک یا چند حالت کوچک‌تر اثبات کرد.

در این مقاله اصل استقرای قوی، تفاوت آن با استقرای معمولی، نحوه انتخاب پایه استقرا، نوشتن فرض استقرایی، ساختن گام استقرا و چند مثال مهم از جمله تجزیه هر عدد صحیح بزرگ‌تر از یک به حاصل‌ضرب اعداد اول بررسی می‌شود.