Teoria dowodu to dział
logiki matematycznej zajmujący się analizą pojęcia
dowodu oraz możliwych sposobów używania go w rozważaniach
matematycznych. Za ojca tej dziedziny uważa się
Davida Hilberta, jednego z najwybitniejszych matematyków przełomu dziewiętnastego i dwudziestego wieku.