בתשובה להאייל הצעיר, 12/10/05 22:46
יסודות שפת המתמטיקה 337424
אבל לא כל סדר טוב הוא סדר מלא? וזה יש לך ממילא.
יסודות שפת המתמטיקה 337427
לא סתם סדר מלא. "סדר מלא כך שלכל איבר יש איבר גדול ממנו". וגדי נתן הוכחה יפה לטענה בתגובה 337425.
יסודות שפת המתמטיקה 337434
כן, עדיין כל מה שנותנת לך כאן אקסיומת הבחירה זה את משפט הסדר הטוב.
יסודות שפת המתמטיקה 337435
משפט הסדר הטוב שקול לאקסיומת הבחירה.
יסודות שפת המתמטיקה 337438
נכון מאוד. לכן לא ברור לי איזה שימוש נוסף יש כאן לאקסיומה הזאת. (ואגב, האם לא נראה לך שזו בחירה חופשית?)
יסודות שפת המתמטיקה 337439
למה צריך להיות לה שימוש נוסף?

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

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