הבדלים בין גרסאות בדף "הוכחות מתמטיות/תורת הקבוצות/משפט הסדר הטוב"

יצירת דף עם התוכן "'''משפט''': תהי <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>. נגדיר בהוכ..."
(יצירת דף עם התוכן "'''משפט''': תהי <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>. נגדיר בהוכ...")
 
(אין הבדלים)
419

עריכות