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