בתשובה להאייל האלמוני, 26/10/05 16:58
The axiom of extensionality והנחת המבוקש 341081
אח של סמיילי • בתשובה להאייל האלמוני יום ד', 26/10/2005, 19:39
דורון:
שתיי קבוצות הן זהות (הן למעשה אותו אלמנט) אם ורק אם יש התאמה מוחלטת בין תכונותיהן.

אני:
שתי קבוצות הן שוות (הן למעשה אותו אלמנט) אם ורק אם יש התאמה מוחלטת בין תכונותיהן.

דורון:
אם a הוא {1,2,3} ו-b הוא {4,5,6} אז אין ביניהם זהות אך יש ביניהם שיוויון בערכו של הקרדינל שלהם, שזוהי תכונה חלקית של a ו-b .

אני:
ולכן הם לא שווים!
The axiom of extensionality והנחת המבוקש 341168
דורון שדמי • בתשובה לאח של סמיילי יום ד', 26/10/2005, 23:56
"ולכן הם לא שווים!"

הבדל בין זהות לשיוויון באריתמטיקה:

2 זהה ל-‏2

2 שווה (אך אינו זהה) ל- 1+1
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש והצהרת נגישות © כל הזכויות שמורות