数理逻辑

數理邏輯（英:Mathematical logic）是數學個一個分支，渠個研究對象是對證明搭計算迭兩個直觀概念進行符號化以後個形式系統。數理邏輯是數學基礎個一個弗可缺少個組成部分。