אי⁻שוויון התמורות הוא אי⁻שוויון שימושי המאפשר למצוא תמורות שנותנות ערך מקסימלי. מתוך ויקיפדיה

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

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