カントールの対角線論法っておかしくね?