במתמטיקה, נסיגה אינסופית היא שיטה להוכחת משפטים על קבוצות סדורות היטב, כגון קבוצת המספרים הטבעיים. נסיגה אינסופית היא הוכחה על דרך השלילה שבה מניחים שטענה מסוימת נכונה לאיבר כלשהו ומראים שזה גורר בהכרח שהיא נכונה גם לאיבר קטן יותר. כעת נניח שקבוצת האיברים שהטענה נכונה עבורם אינה ריקה. מחד, יש לה איבר מינימלי משום שהמערכת סדורה היטב. מאידך, לכל איבר בקבוצה הזו יש איבר קטן יותר, וזו סתירה. מכאן שהטענה אינה נכונה לאף איבר. מתוך ויקיפדיה

הוכחה (סיפור קצר), הוכחה (סרט), הוכחה באפס ידיעה, הוכחה באפס ידע, הוכחה בדרך השלילה, הוכחה בנפנוף ידיים, הוכחה בנפנופי ידיים, הוכחה בשלילה, הוכחה לא קונסטרוקטיבית, הוכחה על דרך השלילה