در روش برهان خلف ( اثبات غیر مستقیم)، فرض می کنیم حکم درست نباشد (فرض خلف) و به یک تناقض یا به یک نتیجه غیر ممکن خواهیم رسید. به این ترتیب فرض خلف باطل و درستی حکم اثبات خواهد شد.