המכלול:מומלץ אקראי
 |
המלצות אקראיות | |
|---|---|---|
| ערך מומלץ אקראי - תמונה נבחרת אקראית - הידעת? אקראי - תמונה אקראית - ציטוט יומי אקראי |
| אקראי נוסף |
|---|
 משפט קנטור הוא משפט מתמטי יסודי בתורת הקבוצות. באופן פורמלי, המשפט קובע שהעוצמה של כל קבוצה קטנה מהעוצמה של קבוצת התת-קבוצות שלה. משמעות המשפט היא שלכל קבוצה, אפילו אינסופית, יש קבוצה גדולה ממנה (במובן מדויק שיוגדר בהמשך). מסקנה מיידית היא שיש אינסוף גדלים אינסופיים השונים זה מזה, ואין אינסוף גדול ביותר. את המשפט הגה והוכיח אבי תורת הקבוצות, גאורג קנטור, בשנת 1891. שיטת הלכסון אותה המציא כדי להוכיח את המשפט ותוצאות דומות, מנצלת את הסתירות שביסוד פרדוקס הסַפָּר ופרדוקס השקרן, ומשמשת בתחומים רבים החורגים מתורת הקבוצות.
|