反证法

Traditional反證法

  1. reductio ad absurdum