Bewysteorie: Verskil tussen weergawes

{{Geen bronnelys}}

'''Bewysteorie''' is 'n majoor aftak van [[wiskundige logika]] wat verteenwoordig [[wiskundige bewys|bewys]] as formeel [[wiskundige objek]], die fasilitering van hul analise deur wiskundige tegnieke. Bewyse word tipies aangebied as aansporings-gedefinieerde [[data strukture]] soos gewone lyste, beperkte lyste, of [[boom (data struktuur)|booms]], wat gebou word volgens die [[axiom]] en [[reël van inferensie|reëls van inferensie]] van die logiese stelsel. As sulks, Bewysteorie is [[sintaksis (logika)|sintaktiese]] in natuur, in teenstelling met [[modelteorie]], watter is [[formeel semantiek|semantiek]] in natuur.