در رياضيات ، برهان يا اثبات، استدلالي متقاعد کنندهاست که نشان ميدهد، يک گزاره رياضي (با توجه به استانداردهاي مربوط)، الزاماً صحيح است. برهان، يک استدلال استنتاجي است و نه استدلالي تجربي، به اين معنا که برهان بايد نشان دهد که يک گزاره در تمامي شرايط و بدون هيچ استثنايي، همواره صحيح است.