f:N→Rにつき fは全単射でないことの証明で、背理法はダメという問題なのですが
対角線論法で証明すると背理法を使ったことになりますか?