בתשובה להאייל הצעיר, 24/09/05 1:47
חקירת מושג הקבוצה 334275
ל"מחלקה" יש כל מיני הגדרות פורמליות, בהתאם להקשר.
בדרך כלל (כלומר ב-ZFC), "מחלקה" היא פשוט קיצור ל-"תכונה". לדוגמא, מחלקת כל הקבוצות היא התכונה x=x (או טאוטולוגיה אחרת כלשהי), ומחלקת כל הקבוצות שלא שייכות לעצמן היא התכונה "x לא שייך ל-x". בצורה דומה, הטענה "לכל A, אם A שייכת למחלקת כל הקבוצות אז A שייכת למחלקת כל הקבוצות שלא שייכות לעצמן" מתרגמת לטענה פורמלית "לכל A, אם A=A אז A לא שייך ל-A".

לפעמים יותר נוח לעבוד במערכת שמכירה במחלקות באופן פורמלי כמו NBG (ניומן-ברני-גדל). מערכת כזו היא הרחבה קונסרבטיבית (שאינה מוכיחה דברים חדשים) של ZFC. אפשר לחזק את המערכת הזו ולקבל הרחבה לא קונסרבטיבית כמו MK (מורס-קלי). עוד הסברים:
חקירת מושג הקבוצה 334422
תודה.

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים