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

אקסיומות פיאנו, אקסיומות צרמלו פרנקל, אקסיומות קולמוגורוב, אקסיומת ארכימדס, אקסיומת האיחוד, אקסיומת האינסוף, אקסיומת הבחירה, אקסיומת הבנייה, אקסיומת ההדבקה, אקסיומת ההחלפה