פורטל:מתמטיקה/הידעת?/52
< פורטל:מתמטיקה | הידעת?
קפיצה לניווט
קפיצה לחיפוש
שני הפרדוקסים המרכזיים של תורת הקבוצות הנאיבית, פרדוקס קנטור ופרדוקס ראסל קשורים קשר הדוק.
פרדוקס קנוטור מבוסס על "קבוצת כל הקבוצות". לפי משפט קנטור קבוצת החזקה של "קבוצת כל הקבוצות" חייבת להיות גדולה בעוצמתה מ"קבוצת כל הקבוצות". מה שעומד בסתירה לכך שקבוצת החזקה היא תת-קבוצה של "קבוצת כל הקבוצות".
אם מנתחים את הוכחת משפט קנטור במקרה הזה, מגלים שנקדת המפתח היא חקר "קבוצת כל הקבוצות שאינן איבר של עצמן" אשר מוביל לסתירה. על "קבוצה" זאת מבוסס פרדוקס ראסל.
אפשר לומר כי פרדוקס ראסל הוא מיצוי של הסתירה מתוך פרדוקס קנטור.