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