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