It is an indirect way of proofing where we assume that the statement is false and try to proof that. If we are not able to proof that the statement is false, then the statement is essentially true.