בתשובה לדורון שדמי, 21/09/05 23:45
מחשבות טרחניות על אקסיומת הקיום של ZF (גרסה מתוקנת אומגה) 331612
הנה בעיה: ניתן להגדיר כתחום את תחום כל הקבוצות.
מחשבות טרחניות על אקסיומת הקיום של ZF (גרסה מתוקנת אומגה) 331624
"הנה בעיה: ניתן להגדיר כתחום את תחום כל הקבוצות."

הדגם נא לי כיצד אתה כולל תחום בתוך עצמו ללא פעולת קינון.

שים לב שפעולת קינון אינה הכלה של אלמנט במצבו במקורי בדיוק כמו של {} שונה מהותית מ-{{}}.
מחשבות טרחניות על אקסיומת הקיום של ZF (גרסה מתוקנת אומגה) 331773
למה "ללא פעולת קינון"?

קבוצת כל הקבוצות *שייכת* לעצמה, לא *מוכלת-ממש* בעצמה. זה בדיוק קינון!

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

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