תורת הקבוצות הנאיבית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ בוט: מעביר קישורי בינויקי לויקינתונים - d:q903783 |
|||
שורה 21:
נשאלת עכשיו השאלה: האם הקבוצה D היא איבר ב-D? אם כן, אז בהתאם להגדרתה של D היא אינה איבר של עצמה. אך אז, בהגדרת הדרישות מהקבוצה X, הקבוצה D היא כן איבר של עצמה. שתי אפשרויות אלה מובילות לסתירה פנימית בכך שהוכחנו משפט והיפוכו מאותה מערכת לוגית.
בעקבות סתירה זו, ובעיות נוספות שביניהן הגדרת "קבוצת כל הקבוצות" והשלכותיה ביחס ל[[קבוצת חזקה|קבוצת החזקה]] שלה (
==לקריאה נוספת==
|