'''Bewysteorie''' is 'n majoorbelangrike aftakvertakking van [[wiskundige logika]]<ref watname=wang>Wang verteenwoordig(1981), [[wiskundigebl. bewys|bewys]]3–4</ref> wat bewyse as formeelformele [[wiskundige objek]]voorwerpe voorstel, wat die fasilitering van hulontleding analisedaarvan deur wiskundige tegnieke vergemaklik. Bewyse word tipies aangebied as aansporingsinduktief-gedefinieerde [[data strukture]]datastrukture soos gewone lyste, beperkte lyste,bokslyste of [[boom (data struktuur)|booms]]boomstrukture, wat gebouopgestel wordis volgens die [[axiom]]aksiomas en [[reël van inferensie|reëls van inferensie]]gevolgtrekkingreëls van die logiese stelsel. As sulks, Bewysteoriesodanig is [[sintaksisdie (logika)|sintaktiese]]bewysteorie insintakties van natuuraard, in teenstelling met [[die modelteorie]], watterwat issemanties [[formeelvan semantiek|semantiek]]aard in natuuris.
Sommige van die majoorbelangrikste gebiedgebiede ofvan die bewysteorie insluitis [[sintaktieseonder bewysteorie]]meer struktuurbewysteorie, [[ordinale analise]], [[bewys logika]]bewysbaarheidslogika, [[omgekeerde wiskunde]], [[bewys mynbou]]bewysmyn, [[outomatiese stelling bewys]],stellingbewys en [[bewys kompleksiteit]]bewyskompleksiteit. Baie navorsing fokus op aansoeke in [[rekenaarwetenskap]], [[taalkunde]] en [[filosofie]].▼
▲Sommige van die majoor gebied of bewysteorie insluit [[sintaktiese bewysteorie]], [[ordinale analise]], [[bewys logika]], [[omgekeerde wiskunde]], [[bewys mynbou]], [[outomatiese stelling bewys]], en [[bewys kompleksiteit]]. Baie navorsing fokus op aansoeke in [[rekenaarwetenskap]], [[taalkunde]] en [[filosofie]].
