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