菅君、自然数と実数の間に全単射写像が作れる気がしていたのかね？？
私は対角線論法による証明を見る前から、全単射が存在しないことを
直観的に分かっていた。