Wiskundige logika: Verskil tussen weergawes

Content deleted Content added
kNo edit summary
Geen bronnelys
Lyn 1:
{{Geen bronnelys}}
'''Wiskundige logika''' is 'n subveld van [[wiskunde]] wat die toepassing van formele [[logika]] in wiskunde ondersoek. Dit het 'n noue verband met [[metawiskunde]], die [[grondslae van wiskunde]] en [[teoretiese rekenaarwetenskap]]. Die verenigende temas in wiskundige logika sluit die studie van die ekspressiewe krag van [[formele stelsel]]s en die [[Deduksie|deduktiewe redenasie]]krag van formele [[wiskundige bewys|bewys]]stelsels in.