אינדוקציה מתמטית - הינה אכסיומה אשר בביטויה הרווח -משמשת כטכניקה להוכחה של תכונות בקבוצות אינסופיות, באופן שהחלתן על אברי הקבוצה כולה מיוסד על קיומן של תכונות אלה בין איברים אחרים בקבוצה.
בצורתה הפשוטה ביותר מראים שתכונה מסוימת מתקיימת על כל (אינסוף) המספרים הטבעיים בתהליך בין שני צעדים באופן הבא :
לשם הוכחה שטענה כללית מתקיימת לכל מספר טבעי n
א - מבצעים בדיקה שהטענה אכן מתקיימת עבור n = 1.
ב - הוכחה שמקיום הטענה עבור האיבר k, נובע שהטענה מתקיימת גם בעבור האיבר k + 1.
בהתקיים שני אלה - התכונה מתקיימת על כל (אינסוף) המספרים הטבעיים.

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