Kjede av logiske slutninger som med utgangspunkt i aksiomer leder til det man i matematikken kaller satser (eller teoremer). I beviset for en matematisk sats er det i tillegg til aksiomene også tillatt å bruke satser som allerede er blitt bevist.
Blant de viktigste bevisteknikkene innen matematikken finner vi induksjonsbevis(se induksjon) ogindirekte bevis (se reductio ad absurdum).