כל מה שרצית לדעת על אקסיומת מרטין:
בתורת הקבוצות, אקסיומת מרטין היא אקסיומה שמבטיחה כי המודל יחסית סגור (במובן שיתואר בהמשך) תחת הפעלות של כפיות מסוימות.
אקסיומות מהצורה הזו נקראות באופן כללי אקסיומות כפייה.
אקסיומת מרטין, שהוצעה על ידי דונלד מרטין ורוברט סולוביי ב-1970, הייתה האקסיומה הראשונה מהצורה הזו, והוכחת העקביות שלה במסגרת ZFC היא דוגמה לעוצמה של שיטת החזרה על כפייה.
במובנים מסוימים, אקסיומת מרטין מאפשרת לבצע בניות באורך עד לעוצמת הרצף, שבאופן סטנדרטי ניתן לבצע אותם רק עד לאורך ℵ 1 {\displaystyle \aleph _{1}} .

נלקח מויקיפדיה

הגדרות נוספות הקשורות לאקסיומת מרטין:
•אקסיומות של תורת הקבוצות