אקסיומת הקבוצה האינסופית
אקסיומת הקבוצה האינסופית (או אקסיומת האינסוף) היא אחת האקסיומות של תורת הקבוצות האקסיומטית. לפי אקסיומה זו, קיימת קבוצה אינסופית, ובפרט, קיימת קבוצה כזו שכוללת את המספרים הטבעיים (על־פי הבנייה של פרגה).
ניסוח
קיימות מספר דרכים לנסח את האקסיומה, אולם הפשוטה והמקובלת ביותר מביניהן אשר איננה עושה שימוש בהגדרתם של מספרים סודרים היא זאת:
קיימת קבוצה כך שמתקיים , ולכל מתקיים , כאשר . כלומר, .
![{\displaystyle \ \exists A\left[\emptyset \in A\land \forall a\left(a\in A\to S(a)\in A\right)\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea220a6e2923ec8e800a81118ccf670f76f8ea30)
הקבוצה כוללת את המספרים הטבעיים, משום שעל־פי הבנייה של פרגה, אפס מוגדר בתור הקבוצה הריקה, ופונקציית העוקב מוגדרת בתור הפונקציה .
עצמאות
אקסיומת האינסוף עצמאית ביחס לשאר אקסיומות ZFC, בהנחה שהיא עקבית.
ניתן לבנות מתוך ZFC מודל שמקיים את כל האקסיומות חוץ מאקסיומת האינסוף - זה יהיה אוסף כל הקבוצות הסופיות תורשתית - בסימון של יקום פון-נוימן. אוסף זה מורכב מכל הקבוצות הסופיות שכל איבריהן הן קבוצות סופיות תורשתית (הגדרה זו איננה מעגלית, לפי אקסיומת היסוד). קל לראות שמודל זה מקיים את כל האקסיומות של ZFC למעט אקסיומת האינסוף.
אקסיומת האינסוף מבטיחה את קיום המונה האינסופי הראשון 0א. כמו שהערנו, אוסף כל הקבוצות שמתחתיו (במובן של הדרגה שלהן ביקום פון-נוימן) הוא מודל ל-ZFC כאשר אנחנו מחליפים את אקסיומת האינסוף בשלילתה. מהבחינה הזו, 0א מתנהג כמו מונה גדול ולכן יש מתמטיקאים שמתייחסים לאקסיומות שעוסקות בקיום מונים גדולים כחיזוקים של אקסיומת האינסוף.
