תורת הקבוצות האקסיומטית – הבדלי גרסאות

'''תורת הקבוצות האקסיומטית''' היא [[תורה (לוגיקה מתמטית)|תורה מתמטית]] המהווה ניסוח [[אקסיומה|אקסיומטי]] של [[תורת הקבוצות]]. אף על פי ששימוש ב[[תורת הקבוצות הנאיבית]] עדיין רווח ב[[מתמטיקה]], תורת הקבוצות האקסיומטית היא למעשה התורה שאליה מתכוונים [[מתמטיקאי|מתמטיקאים]] בהתייחסם לתורת הקבוצות. ביחד עם [[לוגיקה]] וענפים אחרים ב[[מתמטיקה]], תורת הקבוצות האקסיומטית מהווה חלק עיקרי ב[[יסודות המתמטיקה]]. כמעט{{הבהרה|חסר לי בתור קורא מתעניין - למה כמעט? אפשר להוסיף קצת מידע בסוגריים או הערת שוליים?}} כל התורות המתמטיות כיום יכולות להיבנות כ[[משפט (מתמטיקה)|משפטים]] מתוך תורת הקבוצות האקסיומטית.