در برهان خلف فرض می کنیم حکم نادرست باشد آنگاه با استفاده از محاسبات و قضایا به یک تناقض می رسیم که این تناقض میتونه تناقض با فرض باشه یا یه
تناقض دیگه.
به زبان ساده اگه در قضیه ای جای فرض و حکم...