חובה לכתוב את הבסיס במפורש (בלעדיו אפשר ״להוכיח״ טענה שקרית — כמו ״כל הסוסים באותו צבע״) ולוודא שהצעד תקף גם עבור הערך הקטן ביותר; חובה להשתמש בהנחה איפשהו בצעד, אחרת זו אינה אינדוקציה.
דוגמה פתורה
הוכיחו באינדוקציה ש- לכל .
בסיס : אגף שמאל , אגף ימין . שווים.
הנחה: נניח שעבור כלשהו .
צעד:.
זה בדיוק . לפי עקרון האינדוקציה הטענה נכונה לכל .
רוצים לתרגל את עקרון האינדוקציה המתמטית?
MathKiller כולל מאות שאלות תרגול על מתמטיקה בדידה (קורס 20476 של האוניברסיטה הפתוחה), עם פתרונות מודרכים, מעקב התקדמות ומבחני סימולציה.