עשית אותי מאושר,כמה שאני אוהב קבוצו
ת, קבוצות זה דבר מעניין במיוחד הפרדוקסים שמעלים: נגדיר קבוצה חדשה בשם קבוצה X בתור "קבוצת כל הקבוצות שאינן מכילות את עצמן". אילו איברים יש בה? ברור שרק קבוצות. ולא כל הקבוצות - הקבוצה {סוס, כלב, חתול, עכבר} אינה מכילה את עצמה, ולכן אינה חברה בקבוצה X. אבל קבוצת כל הקבוצות דוקא כן מכילה את עצמה, שהרי היא בעצמה קבוצה. נשאלת השאלה - האם הקבוצה X מכילה את עצמה? אם כן, הרי שאינה מכילה את עצמה (כי זו התכונה המאפיינת את הקבוצות ב-X). אם לא, הרי היא מכילה את עצמה, כאחת מכל הקבוצות שאינן מכילות את עצמן. הגענו לסתירה. ועוד משהו קטן "משמעות הפרדוקס היא שההגדרה הנאיבית של מושג הקבוצה (קבוצה היא אוסף של אובייקטים כלשהם), מכילה סתירה מובנית. על מנת שתורת הקבוצות תהיה תורה מתמטית קונסיסטנטית (חסרת סתירות), יש צורך לשנות את הגדרת הקבוצה." - כמה שאני אוהב סתירות מתמטיות