בתשובה להגוזל הנקזק, 31/03/04 11:14
כלומר, 209637
לדעתי זה בדיוק להיפך: היא ניסתה להראות שאכסיומה לא צריכה להיות "הגיונית" במובן שיש מודל אינטואיטיבי שבו היא מתקיימת.

כמובן, הכל מתחיל ונגמר בשאלה למה אנחנו קוראים "אכסיומה": האם למשפט שרירותי שאינו דורש הוכחה (כדרכם של מתמטיקאים), או למשפט שנכון בעליל ולכן אינו דורש הוכחה (כדרכם של הקדמונים ושל פילוסופים מסויימים).

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

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