'''הגדרה''': העוצמה של הממשיים מסומנת <math>\aleph</math>.
=== <math>\aleph_0<\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>