در این استدلال، فرض می کنیم که حکم برقرار باشد. سپس با اعمال یک دسته از روابط ساده سازی مجاز روی حکم، به یک رابطه بدیهی و یا فرض قضیه می رسیم. حال به شرط برگشت پذیر بودن مراحل انجام شده حکم ما اثبات شده است.