17/09/21 22:42:16.09 pNMdfHG8.net
>>417
まず10桁ではなく可算無限（:=|N|）桁の小数。
1.全ての実数を自然数で付番できるとする。（仮定）
2.全ての実数を付番の昇順に並べて可算無限長の一覧リストを作る。
3.リストの対角成分から、リストに無い実数を構成できる。
4.1.の仮定から矛盾が導けたので仮定は偽。
すなわち、全ての実数に自然数で付番することはできない。
5.よって、R と N の間に全単射は存在しない。
6.濃度の定義により |R|≠|N|。