中文拼音： fan3 zheng4 fa3

中文繁体： 反證法

英文翻译： reductio ad absurdum