Verskil tussen weergawes van "Wiskundige logika"

Geen bronnelys
k
(Geen bronnelys)
{{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.