שינויים
/* רעיון בסיסי - אינדוקציה על הטבעיים */
שזה הטענה עבור <math>n+1</math> וסיימנו.
=== לפעמים כדאי להניח הנחות חזקות יותר ===
תרגיל:
נגדיר <math>a_0 =0 , a_{n+1}=a_n^2 +1/4</math>/
הוכח כי לכל n מתקיים <math>a_n<1</math>
פתרון: נוכיח משהו יותר חזק - לכל n מתקיים <math>a_n<1/2</math>
אכן: עבור <math>a_0</math> זה מתקיים. כעת נניח שנכון עבור n ונראה עבור n+1
<math>a_{n+1}=a_n^2+1/4<(1/2)^2+1/4 =1/2</math>
==סדר טוב ==
דוגמא: הקס"ח <math>(\{1,2,3\},\le)</math> היא סדורה היטב - תתי הקבוצות הלא ריקות שלה הן <math>\{1\},\{2\},\{3\},\{1,2\},\{2,3\},\{1,3\},\{1,2,3\}</math> והאיבר הראשון בכל תת קבוצה הוא בהתאמה <math>1,2,3,1,2,1,1</math>.
===עקרון הסדר הטוב===
