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

משפט טיטצה, משפט טיכונוף, משפט טיצה, משפט המודולריות, משפט טפל, משפט יאנג, משפט ימי, משפט כהן, משפט לאקוני, משפט לגראנז' (בחשבון אינפיניטסימלי)