自然数から自然数への全単射全体の集合が可算でないことを証明せよ、
という問題を思いついたんですが、厳密な証明が見つかりません。