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

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