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

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

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