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

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

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

אני:
ולכן הם לא שווים!
The axiom of extensionality והנחת המבוקש 341168
"ולכן הם לא שווים!"

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

2 זהה ל-‏2

2 שווה (אך אינו זהה) ל- 1+1

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

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