実数は可算無限であることの証明

ある仮定から出発して矛盾が導かれたらどうするの。背理法とか言うんだっけ。普通、仮定が間違ってたとなる。この場合、任意のn番目に現れないことになる。つまり、π/10は>>1のリストには現れない。>>1のリストは整数部0の実数を数え上げてないんじゃないの。