הפרדוקס של בורלי-פורטי – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
Matanyabot (שיחה | תרומות) מ בוט: החלפת טקסט אוטומטית (-<references /> +{{הערות שוליים}}) |
|||
שורה 3:
== הוכחה==
[[הוכחה בדרך השלילה|נניח בשלילה]] שהסודרים מהווים קבוצה A, עם סדר ההשוואה הרגיל. לפי התכונות היסודיות של הסודרים, הקבוצה A [[סדר טוב|סדורה היטב]], ויש סודר p המתאים לה. אבל p הוא איבר של A, והוא איזומורפי לקבוצת כל הסודרים הקטנים מ-p ב-A, שהיא קטע התחלי
<ref>קטע התחלי של קבוצה סדורה <math> (Q , \le)</math> הוא קבוצה חלקית מהצורה <math> S_x = \left\{y \in Q : y < x \right\}</math>
</ref>
|