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