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

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

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

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

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