実数の非可算性の証明は、対角線論法によらないものもあるんだけどね。