מונה גדול

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

ההיררכיה של המונים הגדולים

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

מוטיבציה

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

תכונות חלוקה

חלק משמעותי ממושגי המונים הגדולים קשור למושגי חלוקה כאלו ואחרים, כלומר להכללות של משפט רמזי (בגרסתו האינסופית). משפט רמזי גורס כי בגרף אינסופי יש קליקה או אנטי-קליקה אינסופית. בניסוח שקול - בכל פונקציה מאוסף הזוגות הלא סדורים של  ל-2 (כלומר {0,1}) יש תת-קבוצה אינסופית הומוגנית, כלומר תת-קבוצה H כך שכל זוג סדור מתוכה מקבל את אותו הערך (תמיד או 0 או 1).
הכללות של התכונה הזו מובילות לשלל מושגי מונים גדולים חשובים. למשל, אם נדרוש שלכל פונקציה מאוסף הזוגות הלא סדורים של  ל-2 תהיה תת-קבוצה הומוגנית בגודל  - נקבל מונה קומפקטי חלש. אם נחזק את הדרישה, ונדרוש שכל פונקציה מאוסף כל תתי-הקבוצות הסופיות של המונה ל-2 תהיה תת-קבוצה בגודל  שהיא הומוגנית בכל רכיב (ערך הפונקציה עליה תלוי רק בגודל תת-הקבוצה הסופית), נקבל מונה רמזי, החזק יותר.  
מונים אלו באים לידי ביטוי בין היתר בשאלות הקשורות לתורת המודלים. למשל, נניח כי קיים לנו מודל A בשפה בת מנייה כלשהי, בה יש סימן יחס חד מקומי R (כלומר תת-קבוצה מובחנת של העולם), . משפט לוונהיים-סקולם מבטיח לנו שניתן לשנות את גודל A כרצוננו בלי לשנות את התורה מסדר ראשון של המודל, אך מה האפשרויות עבור הזוג (|A|,|R|)? סוג זה של שאלות נקרא "בעיות שני מונים", והן נפתרות בדרך כלל על ידי שימוש במונים גדולים. למשל, אם  מונה רמזי אז אפשר לקבל  (למעשה, בשביל התוצאה הזו מספיק תכונת חלוקה חלשה יותר שמתקבלת על ידי מונה רובוטום).