نظریه برهان

از ویکی‌پدیا، دانشنامهٔ آزاد.

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

این نوشتار در زمینهٔ ریاضیات خُرد است. با گسترش آن به ویکی‌پدیا کمک کنید.
این نوشتار در زمینهٔ منطق خُرد است. با گسترش آن به ویکی‌پدیا کمک کنید.