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

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

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