בתשובה לירון, 24/09/04 0:07
מכיר גולדבך 248633
ועוד שכחתי:
אקסיומת הבחירה של פרנקל בתורת הקבוצות האקסיומטית עומדת עד היום בבחינה של מתמטיקאים רבים האם "נכון" לצרף אותה למערכת האקסיומות של צרמלו.
השיקולים הם שונים ומשונים, מ"יפה" ו"קומפקטי" ועד "האקסיומה לא נכונה". (ממש כך).

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

כך שיש תוקף "לבחון" אקסיומות גם אם הן בלתי תלויות/עקביות.

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

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

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