הקדמה:

במדעים השונים ובמתמטיקה בפרט משמשות בין היתר שתי שיטות חשיבה: דדוקציה ואינדוקציה, כאשר דדקוציה מהווה מעבר מהמקרה הכללי לפרטי בעוד שאינדוקציה מהווה מעבר מהמקרה הפרטי לכללי.

באינדוקציה מסיקים מסקנה כללית על סמך שורה של תוצאות חלקיות או עובדות בודדות. 

ישנן שתי שיטות אינדוקציה: האינדוקציה השלמה והאינדוקציה החלקית (לא שלמה), כאשר האינדוקציה השלמה היא הפשוטה ביותר.

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