>>184
NからTへの全単射fがあることが対角線論法の仮定。
仮定によりTの元を余すことなく f(0),f(1),・・・ と並べられる。
仮定は証明不要。
背理法の仮定は偽だから証明不可能。

なんか難しいことある？　なんで分からないかが分からない