Bewysteorie: Verskil tussen weergawes

'''Bewysteorie''' is 'n belangrike vertakking van [[wiskundige logika]]<ref name=wang>Hao Wang (1981). ''Popular Lectures on Mathematical Logic'', Van Nostrand Reinhold Company, bl. 3–4</ref> wat bewyse as formele wiskundige voorwerpe voorstel en sodoende die ontleding daarvan deur wiskundige tegnieke vergemaklik. [[Bewys]]e word tipies aangebied as induktief-gedefinieerde datastrukture soos gewone lyste, bokslyste of boomstrukture, wat opgestel is volgens die aksiomas en gevolgtrekkingreëls van die [[logika|logiese stelsel]]. As sodanig is die bewysteorie sintakties van aard, in teenstelling met die modelteorie, wat semanties van aard is.