 The use of this fact forms the basis of the technique of proof by contradiction, which mathematicians use extensively to establish the validity of a wide range of theorems.This applies only in a logic where the law of excluded middle formula_18 is accepted as an axiom.In mathematics, the symbol used to represent a contradiction within a proof varies.