Reductio ad absurdum - Other languages