בתשובה לדורון שדמי, 27/10/05 19:13
The axiom of extensionality והנחת המבוקש 341527
1 ו2 הם אותו דבר.

דורון, אפילו כשאתה כותב {a,b} אתה משתמש באקסיומת ההקפיות. בלעדיה, אולי יש עוד קבוצה שאיבריה הם רק a ו b ? ואם יש כזו למה אתה מתכוון כשאתה כותב {a,b}?
The axiom of extensionality והנחת המבוקש 341822
אח של סמיילי:
"אפילו כשאתה כותב {a,b} אתה משתמש באקסיומת ההקפיות"

אח של סמיילי:
"בעולם יש רק 2 איברים ({{1},{2}}). אף אחד מהם לא שייך ל {1}, ואף אחד מהם לא שייך ל {2}. לכן אם אקסיומת ההקפיות היתה נכונה, 2 הקבוצות הנ"ל היו שוות. אבל הן לא."

אח של סמיילי הסבר נא את הסתירה הקיימת בדבריך כי אתה טוען דבר והיפוכו, במקרה דנן:

{a,b} הינה צורה כללית המייצגת בין השאר גם את {{1},{2}}, אז הסבר נא איך {{1},{2}} אינה מקיימת את אקסיומת ההיקפיות (כדבריך) *וגם* מבוססת (כדבריך) על *הגדרה* המשתמשת באקסיומת ההקפיות ?
The axiom of extensionality והנחת המבוקש 341842
כבר שאלת אותי את זה ועניתי לך. לא זוכר איפה, אז אני עונה שוב: מותר להשתמש באקסיומה כדי למצוא מודל שבו היא אינה מתקיימת. אין כאן כל סתירה. במקרה שלנו מגדירים את המודל (= העולם) בעזרת אקסיומת ההקפיות, ובעולם זה אקסיומה זו אינה מתקיימת.
The axiom of extensionality והנחת המבוקש 341847
הפעם הבנתי אותך, תודה.

אנא עיין בתגובה 341846

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

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