PanLinx
English
eng-000
proof by refutation
English
eng-000
reductio ad absurdum
日本語
jpn-000
背理法
PanLex
