שינויים
/* \aleph_0. */
כעת לכל n <math>f_n\not=f</math> כי <math>f_n(n)\not=f(n)</math> עפ"י הגדרת f. סתירה לכל ש g על.
הערה: הזיהוי <math> [0,1)=\{f:\mathbb{N}\to \{0,1\dots 9\}\} </math> אינו מדויק כי <math>0.01=0.00999...</math>
ולכן צריך להשלח לאותה פונקציה. נשאיר כתרגיל את דיוק ההוכחה.
== ==
