數理邏輯

數理邏輯 （ Mathematical logic ） 是數學的一個分支 ， 其研究對象是對證明和計算這兩個直觀概念進行符號化以後的形式系統 。 數理邏輯是數學基礎的一個不可缺少的組成部分 。 數理邏輯的研究範圍是邏輯中可被數學模式化的部分 。 以前稱爲符號邏輯 （ 相對於哲學邏輯 ） ， 又稱元數學 ， 後者的使用現已侷限於證明論的某些方面 。