בתשובה להאייל האלמוני, 26/10/05 8:19
The axiom of extensionality והנחת המבוקש 340989
"זה כמו שתכתוב מקום=place אבל ק לא שווה ל-l)."

בשום אופן לא.

הסימון לשיוויון הוא:

___
___

הסימן לזהות הוא:

___
___
___

האח של סמיילי כתב:
"שוויון ושוני מוגדרים בכל המודלים בדיוק באותו אופן - כזהות וחוסר זהות בהתאמה."

מתוך דבריו אלה נובע כי אין הוא מבחין בין *זהות* *לשיווין*, ולכן הדגמתי את ההבדל על הקבוצות a ו-b , כאשר הקרדינל של a והקרדינל של b *שווים*, אך a ו-b *אינם זהים*, כך שלדבר על זהות ושיוויון כאילו זה אותו מושג הינו חוסר הבנה בסיסי במתמטיקה.
The axiom of extensionality והנחת המבוקש 340993
תהיה רציני. אם הקרדינל של a והקרדינל של b שווים, וזהות ושיוויון הם מושגים זהים, אז המסקנה היא שהקרדינל של a והקרדינל של b זהים, לא שa וb זהים.

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

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