اطلاعات مرتبط با تیتر زیر را جمع‌آوری کنید و یک خبر کوتاه بنویسید

تیتر: برهان (ریاضی) 
خبر:
در ریاضیات ، برهان یا اثبات ، استدلالی متقاعدکننده است که نشان می‌دهد یک گزاره ریاضی (با توجه به استانداردهای مربوط) ، الزاما صحیح است . برهان ، یک استدلال استنتاجی است و نه استدلالی استقرایی ، به این معنا که برهان باید نشان دهد که یک گزاره در تمامی شرایط و بدون هیچ استثنایی ، همواره صحیح است . برهان‌ها از منطق بهره می‌برند اما بیشتر اوقات مقادیری از زبان طبیعی را نیز دربر می‌گیرند که اکثرا باعث ایجاد ابهام می‌شود . در واقع ، اکثر برهان‌ها در ریاضیات نوشتاری می‌توانند به عنوان کاربردی از منطق غیر صوری به‌شمار آیند . اثبات‌های صوری محض در نظریه برهان بررسی شده‌اند . اصل ، گزاره‌ای است که نیازی به اثبات ندارد یا اثبات نمی‌شود .