カントールの対角線論法などがいいんじゃない