אני לא יכתוב פה את ההוכחה שלי שני המשפטים..(במיוחד לא של הראשון..כי היא ארוכה..מאוד) אבל בגדול משפט קנטור שרדר ברנשטיין אומר: תהיינה k,m עוצמות. אם k<=m וגם m<=k אז k=m...אני יודע שזה נראה טריוויאלי..אבל בעוצמות זה קצת מסתבך.. משפט קנטור אומר שלכל קבוצה A, |A|<|P(A)| s ה S הקטנה בצד ימין לא קשורה..היא רק כדי שהמשוואה תראה נורמאלי בעורך של פרש..
חתימתכם הוסרה כיוון שלא עמדה בחוקי האתר. לפרטים נוספים לחצו כאן. תוכלו לקבל עזרה להתאמת החתימה לחוקים בפורום חתימות וצלמיות.