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

נסיב אבקריוס ביי, נסיגה (אדריכלות), נסיגה (סרט), נסיגה (פסיכולוגיה), נסיגה (תוכנה), נסיגה והשהייה, נסיגת צה"ל מסיני, נסיגת צה"ל מסיני ומעזה, נסיגת צה"ל מסיני ומעזה (1956 - 1957), נסיגת צה"ל מסיני ומעזה (1956⁻1957)