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