يطلع مصطلح التبرير أو البرهان أو الإثبات والتحقق في علم الرياضيات، على الدلائل التي تستند على عدداً من البديهيات المحددة، كما يجدر بأن البرهان هو عبارة عن علاقات أو عبارات رياضية حسابية منطقية بحتة وصحيحة، لأنها تقوم وفق عدداً من البديهيات.
يعرف المقصود بالبرهان الرياضي على أنه عبارة عن حجج نقدمها ونقف بها أمام تفسير علاقةٍ أو ظاهرةٍ ما، كما أنه لا يقتصر فقط على كونه تعبير تجريبي بل أنه عبارة عن تعليل منطقي، فالعبارات الخاطئة من الأساس لا يمكن أن يتحقق فيها البرهان، وهناك أنواعاً مختلفة من البراهين في علم الرياضات وتتتمثل في كل من: