|
||||
|
||||
אין כאלה ב ZFC, משום שעל פי axiom of foundation אין שרשרת יורדת אינסופית של שייכות. מה שכן, אורי הזכיר שאפשר לוותר על האקסיומה הזו ואני גם זוכר משהו מעורפל בנידון, אבל לא זוכר את הפרטים (אורי? עכשיו תורך :) |
|
||||
|
||||
הייתי באיטליה. בקצרה, ניתן להשמיט את האקסיומה הנ"ל ואז מקבלים כל מיני קבוצות "משונות". בתוך העולם הגדול שמתקבל ניתן להגדיר את WF - כל הקבוצות שהן Well Founded שזה בעצם החלק של העולם שכן מקיים את האקסיומה והכל בו עובד כרגיל. חוץ מזה אני זוכר במעומעם איזושהי אקסיומה, במקום foundation, שאומרת שיחס השייכות מכיל כל קומבינציה (סופית) אפשרית, אבל אני לא זוכר אם זה גורר משהו מענין ולא חושב שמישהו מתעסק בזה ברצינות. |
|
||||
|
||||
מה זה "הייתי באיטליה"? פרט ונמק.:) |
|
||||
|
||||
מה זה "האייל האלמוני"? פרט ונמק. :-) שבוע, לאגו די גארדה, לאגו די קומו וכל מיני אגמים קטנטנים ויפיפיים בסביבה. לקינוח, קנסונלי די ברגאמו בחמאה ובייקון. הצלחתי (לא ברור איך) לא לעלות במשקל. |
|
||||
|
||||
יו, איך אני מקנאת! זה נשמע כף אטומי... יש לכם איזה קשרים עם איטליה? |
|
||||
|
||||
כף היא נקבה. קשרים עם איטליה? הלוואי, אבל לא. |
חזרה לעמוד הראשי |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |