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

תוכן שנמחק תוכן שנוסף
מ הוספת תבנית:בריטניקה בקישורים חיצוניים (תג)
Matanyabot (שיחה | תרומות)
מ בוט החלפות: \1מילים
שורה 9:
* האם <math>X</math> היא קבוצה קטנה או גדולה?
 
אם <math>X</math> קבוצה קטנה, הרי שלפי הגדרתה כקבוצת כל הקבוצות הקטנות היא כוללת את עצמה כאיבר, אבל אז היא קבוצה גדולה לפי ההגדרה. מאידך, אם <math>X</math> קבוצה גדולה עליה לכלול את עצמה כאיבר, אבל זו סתירה לכך שכל האיברים ב-<math>X</math> הם קבוצות קטנות. בכל מקרה מתקבלת סתירה. במליםבמילים אחרות, ההנחות שלפיהן הקבוצה <math>X</math> קיימת וחייבת להיות קטנה או גדולה, מוליכות לסתירה.
 
ניסוח פופולרי ממיר את מושגי תורת הקבוצות בסיפור על '''[[ספר (מקצוע)|הספר]] בעיירה הנידחת:''' בעיר נידחת היה ספר אשר עבד רק בשביל אנשי העיירה והוא היה הספר היחיד בעיירה. לספר היה חוק מיוחד במספרה: כל אדם בעיירה שמספר את עצמו אז הספר לא מספר אותו, וכל אדם שלא מספר את עצמו אז הספר מספר אותו. השאלה המתבקשת היא: מה קורה כאשר הספר צריך להסתפר?