בתשובה לדורון שדמי, 22/09/05 11:56
מחשבות טרחניות על אקסיומת הקיום של ZF (גרסה מתוקנת 2) 331607
אז אם נוסיף ל-ZF את האקסיומה "קיימת קבוצה", זה יפתור את כל הבעיות שלנו. כי אז, "ריקנותה" של קבוצה מסוימת תהיה תכונה משנית.
מחשבות טרחניות על אקסיומת הקיום של ZF (גרסה מתוקנת 2) 331610
נדמה לי שעוזי אמר פעם שלא צריך את האקסיומה הזאת.
מחשבות טרחניות על אקסיומת הקיום של ZF (גרסה מתוקנת 2) 331615
בוודאי שלא, הרי יש את האקסיומה שלפיה קיימת קבוצה ריקה. אך דורון מתעקש לא לקבל את האקסיומה הקיימת בתור אקסיומת קיום. הוא רוצה שהיא תהיה ''תכונה משנית''.
מחשבות טרחניות על אקסיומת הקיום של ZF (גרסה מתוקנת 2) 331660
"אז אם נוסיף ל-ZF את האקסיומה "קיימת קבוצה", זה יפתור את כל הבעיות שלנו."

ממש לא, כי באותה מידה ניתן להוסיף לZF את האקסיומה "קיימת שדחרדקףיה".

ללא הגדרה מופרטת הניתנת לבקורת, אין שום טעם בהגדרת קיום של אלמנט מתמטי.

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

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