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

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

משפט המקסימום של ויירשטראס, משפט הנורמליזציה של נתר, משפט הסדר הטוב, משפט הסופרפוזיציה, משפט הסיבובים של אוילר, משפט הסידור מחדש של רימן, משפט הסינוס, משפט הסינוסים, משפט הסנדוויץ', משפט הספין סטטיסטיקה