Logic/Proof by contradiction

In other languages