fǎn zhèng fǎ

反证法

reductio ad absurdum

Frequency 2.2