[DM] 2.7 計數問題之對角線論證法

(以上證明省略)



取a=0. a1 a2 a3 ...



其中



ai = 5 if rii ＝ 4

ai = 4 if rii ≠ 4



=> a 屬於 (0,1) ,



但不存在 k 使得 f(k)=a,



且f:onto矛盾,固得証.



紅色的部份我實在不懂怎麼來的，

麻煩懂的同學指教一下，謝謝。