>>373
可付番濃度 対角線論法
あたりで検索すれば何か見つかると思う。