שינויים
/* עיקרון הסדר הטוב */
שזה הטענה עבור <math>n+1</math> וסיימנו.
==עיקרון הסדר הטוב == הגדרה: תהא <math>A</math> קבוצה עם יחס סדר חלקי <math>R</math> על <math>A</math>. <math>R</math> יקרא סדר טוב אם לכל <math>\emptyset \neq B\subseteq A</math> קיים איבר מינימום/הכי קטן/ראשון ב <math>B</math>. דוגמא (אינטואיטיבית): נסתכל על <math>\mathbb{N}</math> קבוצת הטבעיים עם יחס הסדר "קטן שווה" הסטנדרטי. אזי אכן מתקיים כי לכל קבוצה לא ריקה של טבעיים קיים איבר מינימום בקבוצה.
==הכללות==
