Математик иҫбатлау — ниндәй ҙә булһа раҫлауҙың (теореманың) дөрөҫлөгөн нигеҙләү маҡсатында фекерләү, билдәле бер аксиомалар йыйылмаһы дөрөҫ булған осраҡта, математик раҫлау дөрөҫ икәнен күрһәтеүсе логик һығымталар сылбыры.