نظریه برهان: تفاوت میان نسخه‌ها

{{منبع}}

'''نظریه برهان''' شاخه‌ای از [[منطق ریاضی]] ست که ''برهان‌ها'' را به عنوان یک شئ صوری ریاضی در نظر می‌گیرد تا تجزیه و تحلیل آن‌ها به کمک تکنیک‌های ریاضی را آسانتر نماید. نظریه برهان‌ها دارای طبیعتی [[نحو]]ی‌ست، در مقابل [[نظریه مدل|نظریه مدل‌ها]] که از جنس [[معناشناسی]] است. به همراه نظریه مدل‌ها، [[نظریه اصل موضوعی مجموعه‌ها|نظریه مجموعه‌ها مبتنی‌بر اصول موضوع]]، و [[نظریه بازگشتی]]، نظریه برهان‌ها یکی از اصول چهارگانه را در [[بنیان‌های ریاضیات|بنیان‌های ریاضیّات]] را تشکیل می‌دهد.