שינויים

'''הגדרה''': העוצמה של הממשיים מסומנת <math>\aleph</math>.

לשם הוכחת הטענה נשתמש בקבוצה המספרים <math>[0,1)</math> בכתיב עשרוני כלומר כל <math>x\in[0,1)</math>

הוא מהצורה <math>x=0.a_1a_2a_3...</math> כאשר <math>\forall i : a_i\in \{0,1\dots 9\}</math>