האלכסון של קנטור – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 38:
מהקטע (0,1) ניתן לבנות פונקציה חד-חד ערכית ועל אל כל [[הישר הממשי]], וכך להראות שעוצמותיהם שוות.
בהוכחה זו הראינו שקיימות לפחות שתי עוצמות שונות זו מזו. קפיצת דרך גדולה נעשית ב[[משפט קנטור (לקבוצת החזקה)]], שמראה שקיימים [[אינסוף]] גדלים שונים של אינסוף: לכל [[קבוצה אינסופית]], [[קבוצת החזקה]] שלה היא בעלת עוצמה גדולה
==ראו גם==
| |||