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

{{گسترش}}

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

[[رده:منطق ریاضی]]