-
משפט קנטור
כל מה שרצית לדעת על משפט קנטור:משפט קנטור הוא משפט מתמטי יסודי בתורת הקבוצות. באופן פורמלי, המשפט קובע שהעוצמה של כל קבוצה קטנה מהעוצמה של קבוצת התת-קבוצות שלה. משמעות המשפט היא שלכל קבוצה, אפילו אינסופית, יש קבוצה גדולה ממנה (במובן מדויק שיוגדר בהמשך). מסקנה מיידית היא שיש אינסוף גדלים אינסופיים השונים זה מזה, ואין אינסוף…