نظريّة البرهان proof theory فرع من الرياضيّات يُعنى بدراسة مفاهيم البرهان الرياضي وقابلية الإثبات رياضياً. وتُعرّف أيضاً بأنها فرع من الرياضيات يهتم بدراسة الخصائص التوافقية combinatorial properties للبراهين الصورية formal في المنطق. ولما كان للبرهان دور مركزي في الرياضيّات، لما له من أهميّة في إثبات صحّة قضيّة رياضيّة ما أو خطئها؛ يمكن القول إن نظريّة البرهان هي - بشكل أو بآخر - دراسة تأسيس كلّ الرياضيّات.
