בתשובה לעוזי ו., 19/08/03 19:48
Goodstein 164591
אני לא הבנתי משהו אחר: בשקף http://www2.maths.bris.ac.uk/~maadb/research/seminar... , בו הוא מציג את האקסיומות, למה צריך את אקסיומה 5 (הכפל באפס)? הרי מאקסיומה 3 אני מכפיל את שני האגפים באיקס (מותר לי, מאקסיומה 6), מצמצם משניהם איקס בריבוע, ומקבל את 5. או שאסור לי לצמצם? מה אני מפספס? (את שאר הטיעונים שלו, אבל לא חשוב כרגע).
Goodstein 164593
איך 6 מאפשרת להכפיל ב-x את אגפי 3?
Goodstein 164598
אני חושב שאתה צודק, ולא טוענים שאוסף האקסיומות הזה הוא מינימלי. כדי לעשות את מה שאתה מציע צריך ראשית להוכיח כמה דברים באינדוקציה (למשל את חוק הפילוג, ואת היכולת לצמצם, כלומר שמ-A+C = B+C אפשר להסיק ש-A=B). אם אני לא מחמיץ משהו, אפשר לעשות את זה, אבל זה לא משנה במיוחד.

אילו משאר הטיעונים שם אתה מפספס?

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

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