generated at
背理法
直観主義
転換法
否定の導入
二重否定の除去
無矛盾律
排中律
無限降下法
対角線論法
帰謬法 (修辞学)

背理法 - Wikipedia