בתשובה להאייל הצעיר, 03/10/05 17:21
יסודות שפת המתמטיקה 334667
"אשר אינן נותנות לנו להגדיר את A,"

רק אם הטענה היא ש-A היא *איבר* של עצמה, כאשר "איבר של עצמה הוא:

A ~ {A}
יסודות שפת המתמטיקה 334669
תוכל לפרט על הבעיתיות שבטענה הזאת, בלי להשתמש במושג "רקורסיה אינסופית"?

(בכל אופן, התגובה שאורכה כאורך הגלות עדיין לא הייתה רלוונטית לפתיל.)
יסודות שפת המתמטיקה 334695
כאשר אתה עוסק באוסף, כל הפניה של אוסף לעצמו, מגדירה מיידית רמת קינון נוספת, והפנייה עצמית זו אינה מאפשרת הגדרת קרדינל מדוייק לאוסף של אינסוף רמות קינון.

מצב זה תקף לכל אוסף אינסופי, והאלכסון השני המפורסם של קנטור מראה בבירור כי הקרדינל המדויק של אוסף אינסופי אינו קיים http://www.createforum.com/phpbb/viewtopic.php?t=45&... .

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

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