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

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