>>996が成り立たないことの証明は
カントールの対角線論法
で検索