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

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