כמעט כל (מתמטיקה) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ r2.7.3) (בוט מוסיף: zh:幾乎所有 |
|||
שורה 8:
* יש לפחות מספר אחד שהוא גדול מאד.
* אם מספר מסוים הוא גדול מאד, אז גם כל מספר גדול ממנו הוא גדול מאד.
כעת אפשר להוכיח את המשפט בקלות: יהי n מספר גדול מאוד (קיומו של מספר כזה מובטח מן התכונה הראשונה). כל המספרים הגדולים מ-n הם גדולים מאוד (על-פי התכונה השנייה), ולכן יש
== הכול פרט לקבוצה בת צפיפות אפס ==
| |||