A=空集合 を示したいとする
A≠空集合 と仮定する
いろいろな議論を経て A=空集合 が導かれた
矛盾。
背理法により A=空集合 である。

もちろん、三行目で A=空集合 と結論づけるのは間違いだ。