|
||||
|
||||
בתגובה 626306 כתבת שאם אקסיומות הגאומטריה האוקלידית ניתנות להסקה מאקסיומות אחרות הן אינן אקסיומות. כאן אתה כותב שאקסיומה היא הנחה בסיסית במערכת לוגית מסוימת. כלומר: במערכת הלוגית של הגאומטריה האוקלידית, חמש האקסיומות הן אקסיומות. אני עדיין לא מבין מהי אקסיומה לדעתך. |
|
||||
|
||||
אקסיומה "לדעתי" היא: הנחה בסיסית (או "נקודת מוצא") במערכת לוגית מסוימת, אליה מתייחסים כנכונה. מכאן יוצא שאם היא ניתנת להוכחה הרי שהיא לא הנחה בסיסית אלא משפט באותה מערכת לוגית. כאילו, דה? |
חזרה לעמוד הראשי | המאמר המלא |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |