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


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

נלקח מויקיפדיה

הגדרות נוספות הקשורות לתורת הקבוצות האקסיומטית:
תורת הקבוצות
לוגיקה מתמטית
אקסיומות של תורת הקבוצות