Pagkakaiba sa mga pagbabagong ng "Lohikang matematikal"

m
walang buod ng pagbabago
m
m
Ang '''matematikal na lohika''' ay is disiplina sa loob ng [[matematika]], pinag-aaralan ang mga [[pormal na sistema]] na may kaugnayan sa paraan ng pagpasok ng mga konsepto na may intuwisyon sa isang [[Patunay sa matematika|patunay]] at [[kompyutasyon]] bilang bahagi ng [[pundasyon ng matematika]].
 
Bagaman, maaaring isipin ng ordinaryong tao na ang matematikal na lohika ay ang ''lohika ng matematika'', sa halip malapit na kawangis ito sa katotohanan sa ''matematika ng lohika''. Binubuo ng mga bahagi ng [[lohika]] na maaaring imodelo sa matematika. Unang itinalaga bilang [[simbolikong lohika]] (na kabaligtaran ng [[pilosopiyang lohika]]); at [[metamatematika]], na itinakda bilang kataga sa ilang aspeto ng [[teorya ng patunay]].
Although the layperson may think that mathematical logic is the ''logic of mathematics'', the truth is rather that it more closely resembles the ''mathematics of logic''. It comprises those parts of [[logic]] that can be modelled mathematically. Unang itinalaga bilang [[simbolikong lohika]] (na kabaligtaran ng [[pilosopiyang lohika]]); at [[metamatematika]], na itinakda bilang kataga sa ilang aspeto ng [[teorya ng patunay]].
 
[[de:Mathematische Logik]]