>>79
対角線論法は対応を仮定して矛盾を導く背理法。