בתשובה להאייל הצעיר, 09/09/05 12:09
מחשבות טרחניות על אקסיומת הקיום של ZF 328583
דורון שדמי • בתשובה להאייל הצעיר יום ו', 9/9/2005, 12:24
"כאן אתה טועה. A בהחלט קיימת לפני שהגדרנו אותה, ולכן טענה שעוסקת ב"כל x" עוסקת גם בה."

מה שכתבת שקול למשפט הבא:"A בהחלט קיימת טרם קיומה".

"אתה מוכן להסביר איפה ההבדל בין שני המקרים? לי זו נראית דוגמה מצוינת. במילים אחרות: תסביר לי למה ההגדרה של המספר המינימלי חוקית."

קיומם של המספרים הטבעיים נובע מאקסיומה המקיימת אותם.

לאחר שהם קיימים, ניתו להפעיל אליהם אקסיומות המתארות תכונות כמו סדר רכו' שלהם.

במקרה זה אין שום בעייה להפעיל את הכמת "לכל" על כל a , כי כל a כבר קיים בזכות אקסיומת הקיום שלו (שאיננה עוסקת בתכונות משניות כמו סדר בין אברי a).
מחשבות טרחניות על אקסיומת הקיום של ZF 328593
האייל הצעיר • בתשובה לדורון שדמי יום ו', 9/9/2005, 12:49
א) מה שעוזי אמר. הסבר מצוין.
א2) מה שכתבתי שקול למשפט: "A בהחלט קיימת גם לפני שאנחנו יודעים שהיא קיימת".
ב) הטענה הייתה "קיים a", לא "לכל a". "קיים a כך שלכל x, מתקיים: a קטן-או-שווה ל-x."
זו הגדרת המספר המינימלי. האם יש בה לדעתך בעיה?
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות