Vocabulary
背理法
はいりほう
reductio ad absurdum
noun