Et matematisk bevis er et logisk resonnement som bekrefter at et utsagn er «sant», i samsvar med og utledet fra forutsetningene. Bevisteori studeres som en del av matematisk logikk. Et lemma er i matematikk en mindre hjelpesetning som brukes til å bevise en større setning. Et matematisk korrolar er en slutning som kan trekkes fra en større setning.