תורת הקבוצות Flashcards
עקרון האקסטנציונליות
קבוצות שיש להן את אותן האיברים הן זהות (לכל איקס, איקס שייך לא’ אםם הוא שייך לב’)
עקרון הקומפרהנציה
.לכל תכונה, קיימת קבוצה הכוללת את כל הדברים שיש להם את התכונה, ורק אותם
הכלה
א מוכלת ב-ב’ (ותת קבוצה שלה) אםם לכל איקס, אם הוא שייך ל-א הוא שייך ל-ב
הכלה ממש
א מוכלת ממש ב-ב אםם לכל איקס, אם הוא שייך ל-א, הוא שייך ל-ב וגם א שונה מ-ב
תכונות של יחס הכלה
(רפלקסיבי, טרנזטיבי, אנטי סימטרי )יחס סדר חלקי
איחוד הקבוצה א
קבוצת כל האיקסים כך שאיקס הוא איבר של איבר של א
תכונה של יחס הכלה ממש
א-סימטרי אם א מוכלת ב-ב, ב לא מוכל ב-א.
חיתוך הקבוצה א
קבוצת כל האיקסים כך שאיקס הוא איבר של כל איבר של א
ההפרש בין קבוצה א ל-ב
כל איקס ששיך ל-א אך לא ל-ב
משלים לקבוצה א
כל איקס כך ש איקס לא שייך ל-א
פרדוקס ראסל
נתבונן בתכונה של להיות לא איבר של עצמו
נשתמש בעקרון הקומפריהנציה ונגיע לסתירה.
הרי אם הקבוצה שייכת לעצמה, היא לא שייכת לעצמה.
ואם היא לא שייכת לעצמה, היא שייכת לעצמהה