対角線論法
本はありません。