תורת הקבוצות האקסיומטית

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

היסטוריה

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