בתשובה להאייל הצעיר, 09/09/05 0:09
מחשבות טרחניות על אקסיומת הקיום של ZF 328518
דורון שדמי • בתשובה להאייל הצעיר יום ו', 9/9/2005, 0:35
"העניין הוא שהאקסיומה לא יוצרת שום דבר. היא טוענת טענה"

כן , והטענה היא טענת קיום של קבוצה שאין בה כל איברים.

טענת הקיום כפי שהיא מנוסחת ב-ZF , איננה יכולה להניח שקיימת קבוצה כזו טרם הטענה, ושהטענה רק מספרת לנו על קיומה שאינו תלוי בטענה.

אם אתה מקבל את קיומה של הקבוצה-הריקה במנותק מאקסיומת הקיום שלה, אתה אפלטוניסט.
מחשבות טרחניות על אקסיומת הקיום של ZF 328519
האייל הצעיר • בתשובה לדורון שדמי יום ו', 9/9/2005, 0:39
"איננה יכולה להניח שקיימת קבוצה כזו טרם הטענה" - והיא לא עושה זאת.

"ושהטענה רק מספרת לנו על קיומה שאינו תלוי בטענה" - אין לי מושג מה אמרת.

"אם אתה מקבל את קיומה של הקבוצה-הריקה במנותק מאקסיומת הקיום שלה" - אני לא. או אם לדייק: אני לא *מתבסס* על קיומה של הקבוצה הריקה במנותק מאקסיומת הקיום שלה.
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש והצהרת נגישות © כל הזכויות שמורות