הפרדוקס של ראסל – הבדלי גרסאות

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