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