בתשובה לגלעד ברזילי, 19/08/03 20:09
 |
|
 |
||
|
||||
 |
אני חושב שאתה צודק, ולא טוענים שאוסף האקסיומות הזה הוא מינימלי. כדי לעשות את מה שאתה מציע צריך ראשית להוכיח כמה דברים באינדוקציה (למשל את חוק הפילוג, ואת היכולת לצמצם, כלומר שמ-A+C = B+C אפשר להסיק ש-A=B). אם אני לא מחמיץ משהו, אפשר לעשות את זה, אבל זה לא משנה במיוחד. אילו משאר הטיעונים שם אתה מפספס? |
 |
 |
 |
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |