The three main types of proof are proof by deduction, by counterexample, and by exhaustion. Another important method of proof studied at A-levels is proof by contradiction.