פורטל:מתמטיקה/תחום נבחר/11

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

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

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

למונחון

לרשימת כל הערכים בתחום