בתשובה להאייל מלמעלה, 14/08/02 0:27
בואי נעשה סדר. 84790
אם במקום לחשוב על דברים מופשטים כמו עוצמות של קבוצות אינסופיות תחשוב על מקרה יותר פשוט, יהיה יותר קל להבין.

אכסיומת המקבילים של אויקלידס היא דוגמא טובה.
בואי נעשה סדר. 84835
אכסיומה היא הנחה בסיסית ממנה בונים תיאוריה. לעומת זאת, מה שהזכיר easy הוא משפט ככל המשפטים במתימטיקה: הוכח שלא ניתן להוכיח או להפריך את קיומה של קבוצה בעוצמה הנדונה.
בואי נעשה סדר. 84838
ולכן אפשר לנסח אקסיומה שמניחה את קיומה של קבוצה כזאת, ואפשר לנסח אקסיומה שמניחה את אי קיומה של קבוצה כזאת, ובשני המקרים לקבל מתמטיקה חסרת סתירות.

השאלה עד כמה "בסיסי" המשפט הזה תלויה בשאלה כמה עשירות ושונות זו מזו יהיו התורות שיתקבלו, אבל בעקרון היא לא שאלה שיש עליה תשובה אובייקטיבית.

(קדימה, עוזי :-))

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

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