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

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