 |
ל"מחלקה" יש כל מיני הגדרות פורמליות, בהתאם להקשר.
בדרך כלל (כלומר ב-ZFC), "מחלקה" היא פשוט קיצור ל-"תכונה". לדוגמא, מחלקת כל הקבוצות היא התכונה x=x (או טאוטולוגיה אחרת כלשהי), ומחלקת כל הקבוצות שלא שייכות לעצמן היא התכונה "x לא שייך ל-x". בצורה דומה, הטענה "לכל A, אם A שייכת למחלקת כל הקבוצות אז A שייכת למחלקת כל הקבוצות שלא שייכות לעצמן" מתרגמת לטענה פורמלית "לכל A, אם A=A אז A לא שייך ל-A".
לפעמים יותר נוח לעבוד במערכת שמכירה במחלקות באופן פורמלי כמו NBG (ניומן-ברני-גדל). מערכת כזו היא הרחבה קונסרבטיבית (שאינה מוכיחה דברים חדשים) של ZFC. אפשר לחזק את המערכת הזו ולקבל הרחבה לא קונסרבטיבית כמו MK (מורס-קלי). עוד הסברים:
|
 |
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש