proof by contradiction

to infer that a conclusion from a set of assumptions we can add as an assumption to the set to prove that are inconsistent