בתשובה להאייל הצעיר, 27/10/05 15:59
The axiom of extensionality והנחת המבוקש 341469
" העובדה ש-a ו-b יכולים להיות *שונים*, לא אומרת בהכרח ש-{a,b} ו-{a,a,b} הן קבוצות זהות. יותר חשוב, היא לא אומרת שלא יכולות להיות שתי קבוצות שיהיו בהן *בדיוק* אותם איברים, אבל הן יהיו שתי קבוצות שונות. בשביל זה צריך את האקסיומה."

שמעת פעם על דבר כזה שנקרא "המינימום ההכרחי"?

אם אתה משתמש בו אתה יכול לחסוך את הסיבוכיות במה שכתבת לעיל, לדוגמא:

1) a הוא לא b .

2) אם קיים {a,a,b} אז נשאיר רק את המינימום ההכרחי ונקבל {a,b} .

3) אם a הוא b , אז נשתמש או ב-{a} או ב-{b} בהתאת לצורך.

4) בשביל הנ"ל לא צריך שום אקסיומה, כי אנו משתמשים ביכולת *זיהוי-השונות* הטמונה בנו.

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

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