النزهة_ ١-جدة

نظرية البرهان Proof theory أحد فروع المنطق الرياضي الذي يتعامل مع البرهان ككائن رياضي شكلي، مسهلاً بذلك عملية تحليل البرهان بالتقنيات الرياضية.

البراهين عادة تمثل كبنى مثل القوائم المنبسطة أو الأشجار، القوائم المعلبة أو بيانات معرفة حدسياً للنظام المنطقي. بهذا تكون قواعد الاستنباط rules of infernce لتي تشكل بناء على بدهيات وقواعد الاستدلال للنظام المنطقي بعكس نظرية النموذج أو نظرية المجموعات أو نظرية العودية نظرية البرهان أحد مايسمى الأعمدة الأربع لأسس الرياضيات

يمكن أن نتعتبر نظرية البرهان أحد فروع المنطق الفلسفي أيضاً ,حيث تكون الاهتمام المبدئي بفكرة نظرية البرهان البنيوية وهي فكرة تعتمد على أفكار التقنية بالمعنى البرهاني النظري، وهي فكرة تعتمد على أفكار تقنية في نظرية البرهان البنيوية structural proof theory لتكون مقبولة.