مقياس فلسفة العلوم ...

  في الأصل كانت قضية رياضية مسلما بها لأنها واضحة بذاتها ولا تتطلب برهانا،وفي الاستخدام المعاصر هي قضية تنتمي إلى لغة صورية تعبر عن صدقها بواسطة فرض.

هو إثبات أن قضية ما صادقة بإثبات أن نقيضها مستحيل ،أو هو إثبات قضية ما بإبطال النتائج اللازمة عن نقيضها،وهو نوع من أنواع البرهان غير المباشر ،ويُعرف أيضا باسم البرهان المؤدي إلى المحال.