תורת הקבוצות/עוצמות: הבדלים בין גרסאות בדף

 

'''הוכחה''': ממשפט [[תורת הקבוצות/פונקציות#משפטי עזר|2.2]], נקבל שאין פונקציה חד חד ערכית ועל בין <math>\N</math> ל <math>\mathcal{P}(\N)</math>. ברור שקבוצת החזקה אינסופית, לכן היא אינה בת מנייה.

'''משפט''': <math>\R\setminus\N\sim\R</math>.