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

הכמת "לכל" לא יכול להיות מוכל כך ש- x הוא קבוצה-ריקה בהגדרת הקיום של הקבוצה-הריקה.

ולכן "לכל" (כולל הקבוצה-הריקה) מופעל רק בדיעבד.
מחשבות טרחניות על אקסיומת הקיום של ZF 328525
האייל הצעיר • בתשובה לדורון שדמי יום ו', 9/9/2005, 0:55
אני מפעיל את הכמת "לכל", אכן, בדיעבד. אמנם אני מנסח בעזרתו את האקסיומה (זה מותר) - אבל *מסיק* ממנה לגבי המקרה הפרטי של הקבוצה הריקה רק בדיעבד.
מחשבות טרחניות על אקסיומת הקיום של ZF 328529
דורון שדמי • בתשובה להאייל הצעיר יום ו', 9/9/2005, 1:15
"אני מפעיל את הכמת "לכל", אכן, בדיעבד. אמנם אני מנסח בעזרתו את האקסיומה (זה מותר) - אבל *מסיק* ממנה לגבי המקרה הפרטי של הקבוצה הריקה רק בדיעבד."

קרא נא את תגובה 328526
חזרה לעמוד הראשי
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות