対角線論法の集合版