>>725
二つ目はふつうに対角線論法でええやん、
{0,1,2}-無限列って、本質的に実数の3進展開だし