متن زیر چه موضوعی را مورد بحث قرار داده است؟

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