הוכחות מתמטיות/תורת הקבוצות/משפט הסדר הטוב: היסטוריית גרסאות

כדי להשוות בין גרסאות, יש לבחור את הגרסאות שברצונך להשוות ולאחר מכן להקיש על Enter או ללחוץ על הכפתור "השוואת הגרסאות שנבחרו".

כלים נוספים: סטטיסטיקת עריכות · סטטיסטיקת צפייה · חיפוש עריכות לפי: תוכן / משתמש · מספר העוקבים

מקרא: (נוכחית) = השוואה עם הגרסה הנוכחית; (קודמת) = השוואה עם הגרסה הקודמת; מ = עריכה משנית; = עריכה של פסקה מסוימת

25 ביולי 2021

  • נוכחיתקודמת 16:1716:17, 25 ביולי 2021בנציון יעבץ שיחה תרומות 3,500 בתים +3,500 יצירת דף עם התוכן "'''משפט''': תהי <math>A</math> קבוצה. אז קיים יחס סדר טוב על <math>A</math>. ==הוכחה== תהא <math>A</math> קבוצה. נסמן ב-<math>C = \mathcal{P}(A) - \{\empty\}</math> את קבוצת החזקה של A, ללא הקבוצה הריקה. לפי אקסיומת הבחירה, קיימת פונקציה <math>f: C \to A</math> המתאימה לכל <math>B \in C</math> איבר <math>b \in B</math>. נגדיר בהוכ..."