אקסיומת הקבוצה האינסופית
אקסיומת האינסוף אומרת שיש קבוצה אינסופית. זה אומר שקיימת קבוצה A עם הקבוצה הריקה בתוכה. הקבוצה הריקה נקראת "אפס". לכל איבר בקבוצה יש גם "עוקב". העוקב של קבוצה הוא הקבוצה שמכילה את כל האיברים שלה וגם את הקבוצה עצמה. בדרך הזו בונים את המספרים הטבעיים. הם מתחילים מאפס וכל פעם מוסיפים עוקב. אפשר גם לה...